Skip to content

Actions: LearnLib/learnlib

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

oml: cleanups
CI #149: Commit 4169fe2 pushed by mtf90
October 2, 2024 21:27 26m 46s develop
October 2, 2024 21:27 26m 46s
adt: cleanup some stream usages
CI #148: Commit 9f65898 pushed by mtf90
September 2, 2024 13:06 19m 11s develop
September 2, 2024 13:06 19m 11s
Parallelize ADT Learner (#132)
CI #147: Commit bd602cb pushed by mtf90
September 1, 2024 18:56 26m 34s develop
September 1, 2024 18:56 26m 34s
Parallelize ADT Learner
CI #146: Pull request #132 opened by leonthalee
September 1, 2024 18:16 26m 55s leonthalee:develop
September 1, 2024 18:16 26m 55s
Parallelize ADT Learner
CI #145: Pull request #129 synchronize by mtf90
August 22, 2024 09:10 20m 12s leonthalee:develop
August 22, 2024 09:10 20m 12s
Parallelize ADT Learner
CI #144: Pull request #129 opened by mtf90
August 20, 2024 13:33 26m 19s leonthalee:develop
August 20, 2024 13:33 26m 19s
adjust to AutomataLib refactorings
CI #143: Commit 3e5c33d pushed by mtf90
August 5, 2024 13:18 4m 14s develop
August 5, 2024 13:18 4m 14s
remove mutability from PropertyOracles
CI #142: Commit fd769e5 pushed by mtf90
July 5, 2024 13:42 25m 51s develop
July 5, 2024 13:42 25m 51s
examples: remove (breaking) dependency on test-support module
CI #141: Commit 97cc60e pushed by mtf90
June 20, 2024 13:24 22m 41s develop
June 20, 2024 13:24 22m 41s
Replace xstream with fury (#127)
CI #140: Commit f4518a0 pushed by mtf90
June 13, 2024 17:10 19m 58s develop
June 13, 2024 17:10 19m 58s
Replace xstream with fury
CI #139: Pull request #127 opened by mtf90
June 13, 2024 16:44 20m 28s mtf90:fury
June 13, 2024 16:44 20m 28s
ttt: faster stateIDs
CI #138: Commit 5f811f0 pushed by mtf90
March 19, 2024 10:23 21m 4s develop
March 19, 2024 10:23 21m 4s
cleanup optional dependency definitions
CI #137: Commit db1406a pushed by mtf90
February 25, 2024 18:26 22m 21s develop
February 25, 2024 18:26 22m 21s
Add jlink integration test
CI #136: Pull request #122 synchronize by mtf90
February 25, 2024 17:17 20m 24s mtf90:jlink-it
February 25, 2024 17:17 20m 24s
Add jlink integration test
CI #135: Pull request #122 synchronize by mtf90
February 25, 2024 16:39 9m 9s mtf90:jlink-it
February 25, 2024 16:39 9m 9s
Add jlink integration test
CI #134: Pull request #122 opened by mtf90
February 25, 2024 15:52 10m 11s mtf90:jlink-it
February 25, 2024 15:52 10m 11s
cleanup dependency declarations
CI #133: Commit 0e22986 pushed by mtf90
February 12, 2024 22:57 21m 5s develop
February 12, 2024 22:57 21m 5s
Cleanup javadoc warnings (#120)
CI #132: Commit b759e83 pushed by mtf90
February 6, 2024 19:16 21m 42s develop
February 6, 2024 19:16 21m 42s
Cleanup reported javadoc warnings
CI #131: Pull request #120 synchronize by mtf90
February 6, 2024 18:44 20m 11s mtf90:javadoc
February 6, 2024 18:44 20m 11s
Cleanup reported javadoc warnings
CI #130: Pull request #120 opened by mtf90
February 6, 2024 16:21 22m 5s mtf90:javadoc
February 6, 2024 16:21 22m 5s
add InterningMembershipOracle
CI #129: Commit 59d0f87 pushed by mtf90
January 24, 2024 22:55 20m 59s develop
January 24, 2024 22:55 20m 59s
bump built-tools
CI #128: Commit 2a16e2d pushed by mtf90
January 19, 2024 17:37 19m 16s develop
January 19, 2024 17:37 19m 16s
Drop guava (#119)
CI #127: Commit 90e8553 pushed by mtf90
January 16, 2024 23:46 21m 27s develop
January 16, 2024 23:46 21m 27s
Drop guava
CI #126: Pull request #119 opened by mtf90
January 16, 2024 23:16 20m 22s mtf90:drop-guava
January 16, 2024 23:16 20m 22s
adjust to AutomataLib refactorings
CI #125: Commit 41f7555 pushed by mtf90
January 9, 2024 12:43 11m 59s develop
January 9, 2024 12:43 11m 59s