Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #80: by github-advanced-security bot
July 17, 2025 21:03 2m 23s develop
develop
July 17, 2025 21:03 2m 23s
Scheduled CodeQL #79: by github-advanced-security bot
July 10, 2025 21:02 2m 28s develop
develop
July 10, 2025 21:02 2m 28s
Scheduled CodeQL #78: by github-advanced-security bot
July 3, 2025 21:02 2m 27s develop
develop
July 3, 2025 21:02 2m 27s
cleanups CI #294: Commit f518c76 pushed by mtf90
July 3, 2025 14:40 28m 51s develop
develop
July 3, 2025 14:40 28m 51s
Push on develop CodeQL #77: by github-advanced-security bot
July 3, 2025 14:40 2m 48s develop
develop
July 3, 2025 14:40 2m 48s
Scheduled CodeQL #76: by github-advanced-security bot
June 26, 2025 21:03 2m 35s develop
develop
June 26, 2025 21:03 2m 35s
Scheduled CodeQL #75: by github-advanced-security bot
June 19, 2025 21:03 2m 34s develop
develop
June 19, 2025 21:03 2m 34s
Scheduled CodeQL #74: by github-advanced-security bot
June 12, 2025 21:03 2m 29s develop
develop
June 12, 2025 21:03 2m 29s
Push on develop CodeQL #73: by mtf90
June 10, 2025 13:18 2m 34s develop
develop
June 10, 2025 13:18 2m 34s
ci: use correct variables CI #293: Commit 987fce3 pushed by mtf90
June 10, 2025 12:46 17m 2s develop
develop
June 10, 2025 12:46 17m 2s
Push on develop CodeQL #72: by mtf90
June 10, 2025 12:46 2m 46s develop
develop
June 10, 2025 12:46 2m 46s
migrate to Sonatype Central Portal CI #292: Commit ded5c54 pushed by mtf90
June 10, 2025 12:20 15m 52s develop
develop
June 10, 2025 12:20 15m 52s
Push on develop CodeQL #71: by github-advanced-security bot
June 10, 2025 12:20 3m 13s develop
develop
June 10, 2025 12:20 3m 13s
Scheduled CodeQL #70: by github-advanced-security bot
June 5, 2025 21:03 2m 24s develop
develop
June 5, 2025 21:03 2m 24s
Scheduled CodeQL #69: by github-advanced-security bot
May 29, 2025 21:03 4m 21s develop
develop
May 29, 2025 21:03 4m 21s
Scheduled CodeQL #68: by github-advanced-security bot
May 22, 2025 21:03 2m 42s develop
develop
May 22, 2025 21:03 2m 42s
Push on develop CodeQL #67: by github-advanced-security bot
May 22, 2025 12:20 3m 31s develop
develop
May 22, 2025 12:20 3m 31s
Bump minimal Java version to 11 (#90) CI #291: Commit 585e02d pushed by mtf90
May 22, 2025 12:20 19m 5s develop
develop
May 22, 2025 12:20 19m 5s
Bump minimal Java version to 11 CI #290: Pull request #90 synchronize by mtf90
May 22, 2025 11:10 17m 56s mtf90:java11
mtf90:java11
May 22, 2025 11:10 17m 56s
Bump minimal Java version to 11 CI #289: Pull request #90 opened by mtf90
May 22, 2025 11:10 14m 42s mtf90:java11
mtf90:java11
May 22, 2025 11:10 14m 42s
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