Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #66: by github-advanced-security bot
May 15, 2025 21:02 2m 34s develop
develop
May 15, 2025 21:02 2m 34s
dot: fix parsing of IDs CI #288: Commit 407dc29 pushed by mtf90
May 15, 2025 08:31 16m 38s develop
develop
May 15, 2025 08:31 16m 38s
Push on develop CodeQL #65: by github-advanced-security bot
May 15, 2025 08:31 2m 55s develop
develop
May 15, 2025 08:31 2m 55s
Scheduled CodeQL #64: by github-advanced-security bot
May 8, 2025 21:03 2m 34s develop
develop
May 8, 2025 21:03 2m 34s
Scheduled CodeQL #63: by github-advanced-security bot
May 1, 2025 21:03 2m 29s develop
develop
May 1, 2025 21:03 2m 29s
Scheduled CodeQL #62: by github-advanced-security bot
April 24, 2025 21:02 2m 44s develop
develop
April 24, 2025 21:02 2m 44s
Scheduled CodeQL #61: by github-advanced-security bot
April 17, 2025 21:02 2m 43s develop
develop
April 17, 2025 21:02 2m 43s
Scheduled CodeQL #60: by github-advanced-security bot
April 10, 2025 21:03 2m 45s develop
develop
April 10, 2025 21:03 2m 45s
Scheduled CodeQL #59: by github-advanced-security bot
April 3, 2025 21:02 2m 48s develop
develop
April 3, 2025 21:02 2m 48s
Scheduled CodeQL #58: by github-advanced-security bot
March 27, 2025 21:10 2m 49s develop
develop
March 27, 2025 21:10 2m 49s
Scheduled CodeQL #57: by github-advanced-security bot
March 20, 2025 21:11 2m 50s develop
develop
March 20, 2025 21:11 2m 50s
Scheduled CodeQL #56: by github-advanced-security bot
March 13, 2025 21:10 2m 47s develop
develop
March 13, 2025 21:10 2m 47s
cleanup redundant type variable definitions CI #287: Commit f5adfcb pushed by mtf90
March 12, 2025 15:46 15m 44s develop
develop
March 12, 2025 15:46 15m 44s
Push on develop CodeQL #55: by mtf90
March 12, 2025 15:46 15m 56s develop
develop
March 12, 2025 15:46 15m 56s
add convenience function CI #286: Commit 52277cb pushed by mtf90
March 11, 2025 15:58 37s ralib-reintegration
ralib-reintegration
March 11, 2025 15:58 37s
Push on develop CodeQL #54: by mtf90
March 11, 2025 15:54 2m 58s develop
develop
March 11, 2025 15:54 2m 58s
[maven-release-plugin] prepare for next development iteration CI #285: Commit 6684c0d pushed by mtf90
March 11, 2025 15:34 16m 11s develop
develop
March 11, 2025 15:34 16m 11s
Push on develop CodeQL #53: by mtf90
March 11, 2025 15:34 2m 57s develop
develop
March 11, 2025 15:34 2m 57s
pages build and deployment pages-build-deployment #3: by mtf90
March 11, 2025 15:33 1m 29s gh-pages
gh-pages
March 11, 2025 15:33 1m 29s
[maven-release-plugin] prepare release automatalib-0.12.1 CI #284: Commit 5c72183 pushed by mtf90
March 11, 2025 15:31 15m 10s master
master
March 11, 2025 15:31 15m 10s
Push on master CodeQL #52: by mtf90
March 11, 2025 15:31 2m 58s master
master
March 11, 2025 15:31 2m 58s
Push on release CodeQL #51: by mtf90
March 11, 2025 15:15 2m 41s release
release
March 11, 2025 15:15 2m 41s
[maven-release-plugin] prepare for next development iteration CI #283: Commit 6684c0d pushed by mtf90
March 11, 2025 15:15 19m 19s release
release
March 11, 2025 15:15 19m 19s
[maven-release-plugin] prepare release automatalib-0.12.1 CI #282: Commit 5c72183 pushed by mtf90
March 11, 2025 15:15 18m 20s automatalib-0.12.1
automatalib-0.12.1
March 11, 2025 15:15 18m 20s
[maven-release-plugin] prepare release automatalib-0.12.1 CI #281: Commit 5c72183 pushed by mtf90
March 11, 2025 15:15 14m 28s release
release
March 11, 2025 15:15 14m 28s