Skip to content

Actions: LearnLib/learnlib

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 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