Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

s/fromCharSequence/fromString/g CI #125: Commit f8f6a0a pushed by mtf90
October 22, 2023 21:20 17m 27s develop
develop
October 22, 2023 21:20 17m 27s
fix bugs/API inconsistencies in Ranges CI #124: Commit a7b0d68 pushed by mtf90
October 22, 2023 12:51 19m 3s develop
develop
October 22, 2023 12:51 19m 3s
fix renamed dependency CI #123: Commit d33d30e pushed by mtf90
October 20, 2023 12:14 21m 21s develop
develop
October 20, 2023 12:14 21m 21s
bump dependency versions CI #122: Commit 566db54 pushed by mtf90
October 20, 2023 12:02 9m 19s develop
develop
October 20, 2023 12:02 9m 19s
fix GUI tests on (headless) JDK21 builds CI #121: Commit 523dd3e pushed by mtf90
October 18, 2023 20:07 18m 49s develop
develop
October 18, 2023 20:07 18m 49s
add pending package renamings CI #120: Commit 739e9a3 pushed by mtf90
October 18, 2023 18:52 12m 58s develop
develop
October 18, 2023 18:52 12m 58s
core: move alphabet tests to correct package CI #119: Commit 95ca8f5 pushed by mtf90
October 18, 2023 18:43 3m 59s develop
develop
October 18, 2023 18:43 3m 59s
cleanups CI #118: Commit 6c6ca01 pushed by mtf90
October 18, 2023 16:18 19m 58s develop
develop
October 18, 2023 16:18 19m 58s
simplify SBA-to-CFMPS conversion CI #117: Commit e4d788a pushed by mtf90
October 12, 2023 17:50 19m 53s develop
develop
October 12, 2023 17:50 19m 53s
refactor missed package of 'core' tests CI #116: Commit 11a48f3 pushed by mtf90
October 11, 2023 20:58 17m 36s develop
develop
October 11, 2023 20:58 17m 36s
move alphabet-related classes to separate 'net.automatalib.alphabet' … CI #115: Commit 97f2891 pushed by mtf90
October 10, 2023 19:56 20m 2s develop
develop
October 10, 2023 19:56 20m 2s
downgrade compiler-plugin CI #114: Commit 1082868 pushed by mtf90
October 10, 2023 18:11 18m 7s develop
develop
October 10, 2023 18:11 18m 7s
retire mailing lists CI #113: Commit 9547b31 pushed by mtf90
October 10, 2023 12:02 17m 38s develop
develop
October 10, 2023 12:02 17m 38s
fix code violations CI #112: Commit 4ed7705 pushed by mtf90
October 9, 2023 19:38 18m 5s develop
develop
October 9, 2023 19:38 18m 5s
cleanups CI #111: Commit 618dfe2 pushed by mtf90
October 9, 2023 19:12 8m 47s develop
develop
October 9, 2023 19:12 8m 47s
update checkstyle config CI #110: Commit 062a597 pushed by mtf90
October 6, 2023 15:07 20m 33s develop
develop
October 6, 2023 15:07 20m 33s
refactor groupId of build-tools CI #109: Commit bd90075 pushed by mtf90
October 4, 2023 22:21 20m 54s develop
develop
October 4, 2023 22:21 20m 54s
remove redundante annotations CI #108: Commit 3b30a16 pushed by mtf90
October 4, 2023 22:08 20m 59s develop
develop
October 4, 2023 22:08 20m 59s
use correct semver in github actions CI #107: Commit 5086032 pushed by mtf90
October 4, 2023 17:47 23m 26s develop
develop
October 4, 2023 17:47 23m 26s
configure JDK distribution in github action CI #106: Commit 3a279ea pushed by mtf90
October 4, 2023 17:41 31s develop
develop
October 4, 2023 17:41 31s
bump dependency versions CI #105: Commit 7f6f7db pushed by mtf90
October 4, 2023 17:11 19s develop
develop
October 4, 2023 17:11 19s
cleanups CI #104: Commit d9f4a2f pushed by mtf90
October 2, 2023 20:18 19m 27s develop
develop
October 2, 2023 20:18 19m 27s
cleanup modal transition system code CI #103: Commit 0044f0b pushed by mtf90
October 2, 2023 18:03 21m 2s develop
develop
October 2, 2023 18:03 21m 2s
refactor 'vpda' acronym to 'vpa' acronym CI #102: Commit 80f5e3d pushed by mtf90
September 26, 2023 10:22 2m 26s develop
develop
September 26, 2023 10:22 2m 26s
Re-integrate the work on procedural systems (#58) CI #101: Commit 560a963 pushed by mtf90
September 26, 2023 08:37 9m 19s develop
develop
September 26, 2023 08:37 9m 19s