Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Push on develop CodeQL #111: by mtf90
2m 21s develop
develop
2m 21s
Scheduled CodeQL #110: by github-advanced-security AI
2m 32s develop
develop
2m 32s
Push on develop CodeQL #109: by mtf90
2m 22s develop
develop
2m 22s
Add (de-)serializers for (explicit) NFAs in the .mata format CI #335: Pull request #98 synchronize by mtf90
18m 20s mtf90:mata
mtf90:mata
18m 20s
Add (de-)serializers for (explicit) NFAs in the .mata format CI #334: Pull request #98 opened by mtf90
10m 8s mtf90:mata
mtf90:mata
10m 8s
Code for Mealy machines with local timers. (#96) CI #333: Commit 13c4755 pushed by mtf90
20m 5s develop
develop
20m 5s
Push on develop CodeQL #108: by mtf90
2m 23s develop
develop
2m 23s
Code for Mealy machines with local timers. CI #332: Pull request #96 synchronize by mtf90
19m 42s pdev55:develop-local-timer-mealy
pdev55:develop-local-timer-mealy
19m 42s
Scheduled CodeQL #107: by github-advanced-security AI
2m 20s develop
develop
2m 20s
Bump Java Version to 17/25 (#97) CI #322: Commit f534932 pushed by mtf90
20m 9s develop
develop
20m 9s
Push on develop CodeQL #106: by github-advanced-security AI
2m 46s develop
develop
2m 46s
Bump Java Version to 17/25 CI #321: Pull request #97 synchronize by mtf90
20m 17s mtf90:java25
mtf90:java25
20m 17s
Bump Java Version to 17/25 CI #320: Pull request #97 synchronize by mtf90
6m 13s mtf90:java25
mtf90:java25
6m 13s
Bump Java Version to 17/25 CI #319: Pull request #97 synchronize by mtf90
7m 47s mtf90:java25
mtf90:java25
7m 47s
Bump Java Version to 17/25 CI #318: Pull request #97 synchronize by mtf90
7m 32s mtf90:java25
mtf90:java25
7m 32s
Bump Java Version to 17/25 CI #317: Pull request #97 synchronize by mtf90
4m 45s mtf90:java25
mtf90:java25
4m 45s
Bump Java Version to 17/25 CI #316: Pull request #97 synchronize by mtf90
6m 41s mtf90:java25
mtf90:java25
6m 41s
Bump Java Version to 17/25 CI #315: Pull request #97 opened by mtf90
7m 11s mtf90:java25
mtf90:java25
7m 11s
Scheduled CodeQL #105: by github-advanced-security AI
2m 33s develop
develop
2m 33s
Scheduled CodeQL #104: by github-advanced-security AI
2m 52s develop
develop
2m 52s
Scheduled CodeQL #103: by github-advanced-security AI
2m 42s develop
develop
2m 42s
Scheduled CodeQL #102: by github-advanced-security AI
2m 34s develop
develop
2m 34s
Scheduled CodeQL #101: by github-advanced-security AI
2m 31s develop
develop
2m 31s
Scheduled CodeQL #100: by github-advanced-security AI
2m 23s develop
develop
2m 23s
Push on develop CodeQL #99: by github-advanced-security AI
2m 53s develop
develop
2m 53s