Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #130: by github-advanced-security bot
2m 40s develop
develop
2m 40s
Add DOT parser for CFMPSs (#102) CI #352: Commit a9d0f0d pushed by mtf90
20m 11s develop
develop
20m 11s
Push on develop CodeQL #129: by mtf90
2m 46s develop
develop
2m 46s
Add DOT parser for CFMPSs CI #351: Pull request #102 synchronize by mtf90
17m 51s mtf90:cfmps-parser
mtf90:cfmps-parser
17m 51s
Add DOT parser for CFMPSs CI #350: Pull request #102 opened by mtf90
17m 47s mtf90:cfmps-parser
mtf90:cfmps-parser
17m 47s
Scheduled CodeQL #128: by github-advanced-security bot
2m 42s develop
develop
2m 42s
bump m3c version CI #349: Commit 429f928 pushed by mtf90
7m 55s develop
develop
7m 55s
Push on develop CodeQL #127: by mtf90
2m 57s develop
develop
2m 57s
Scheduled CodeQL #126: by github-advanced-security bot
2m 39s develop
develop
2m 39s
Clean up CF definitions (#101) CI #348: Commit fe831dd pushed by mtf90
17m 53s develop
develop
17m 53s
Push on develop CodeQL #125: by mtf90
3m 5s develop
develop
3m 5s
Clean up CF definitions CI #347: Pull request #101 synchronize by mtf90
19m 54s mtf90:cf-assert-rework
mtf90:cf-assert-rework
19m 54s
Clean up CF definitions CI #346: Pull request #101 opened by mtf90
26m 31s mtf90:cf-assert-rework
mtf90:cf-assert-rework
26m 31s
bump logback version CI #345: Commit bcaf380 pushed by mtf90
17m 55s develop
develop
17m 55s
Push on develop CodeQL #124: by mtf90
2m 33s develop
develop
2m 33s
Scheduled CodeQL #123: by github-advanced-security bot
2m 50s develop
develop
2m 50s
NFAs: add Brzozowski's algorithm CI #344: Commit ef1f778 pushed by mtf90
18m 21s develop
develop
18m 21s
Push on develop CodeQL #122: by mtf90
2m 41s develop
develop
2m 41s
Scheduled CodeQL #121: by github-advanced-security bot
2m 22s develop
develop
2m 22s
Scheduled CodeQL #120: by github-advanced-security bot
3m 15s develop
develop
3m 15s
Push on develop CodeQL #119: by mtf90
2m 26s develop
develop
2m 26s
Scheduled CodeQL #118: by github-advanced-security bot
2m 23s develop
develop
2m 23s
Scheduled CodeQL #117: by github-advanced-security bot
2m 26s develop
develop
2m 26s
Scheduled CodeQL #116: by github-advanced-security bot
2m 44s develop
develop
2m 44s
Add conformance test generators based on k-way state/transition cover… CI #343: Commit b8f6e96 pushed by mtf90
18m 31s develop
develop
18m 31s