Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanups CI #245: Commit 3c378a0 pushed by mtf90
23m 32s develop
develop
23m 32s
cleanups CI #244: Commit d36c352 pushed by mtf90
14m 19s develop
develop
14m 19s
Overhaul minimization code (#83) CI #243: Commit b4ae7ac pushed by mtf90
14m 4s develop
develop
14m 4s
Overhaul minimization code CI #242: Pull request #83 synchronize by mtf90
14m 57s mtf90:min-overhaul
mtf90:min-overhaul
14m 57s
Overhaul minimization code CI #241: Pull request #83 synchronize by mtf90
14m 56s mtf90:min-overhaul
mtf90:min-overhaul
14m 56s
Overhaul minimization code CI #240: Pull request #83 opened by mtf90
1m 20s mtf90:min-overhaul
mtf90:min-overhaul
1m 20s
Add serialization-ba module. (#82) CI #239: Commit f4b6a5b pushed by mtf90
16m 9s develop
develop
16m 9s
Add serialization-ba module. CI #238: Pull request #82 synchronize by mtf90
15m 23s jn1z:develop
jn1z:develop
15m 23s
Add serialization-ba module. CI #237: Pull request #82 synchronize by mtf90
1m 28s jn1z:develop
jn1z:develop
1m 28s
Add serialization-ba module. CI #236: Pull request #82 synchronize by jn1z
16m 38s jn1z:develop
jn1z:develop
16m 38s
Add serialization-ba module. CI #235: Pull request #82 opened by jn1z
7m 39s jn1z:develop
jn1z:develop
7m 39s
add KTS abstraction CI #234: Commit 28bde82 pushed by mtf90
15m 55s develop
develop
15m 55s