Skip to content

Actions: LearnLib/learnlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adt: cleanup some stream usages CI #148: Commit 9f65898 pushed by mtf90
September 2, 2024 13:06 19m 11s develop
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
develop
January 9, 2024 12:43 11m 59s
fix rendering of javadoc CI #124: Commit 5a3303d pushed by mtf90
January 9, 2024 11:37 20m 58s develop
develop
January 9, 2024 11:37 20m 58s