Skip to content

Actions: LearnLib/learnlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #15: by github-advanced-security bot
January 21, 2025 07:53 2m 21s develop
develop
January 21, 2025 07:53 2m 21s
parallelism: streamline builder interfaces CI #168: Commit bf66741 pushed by mtf90
January 20, 2025 17:29 20m 19s develop
develop
January 20, 2025 17:29 20m 19s
Push on develop CodeQL #14: by mtf90
January 20, 2025 17:29 2m 22s develop
develop
January 20, 2025 17:29 2m 22s
cleanups CI #167: Commit a65b311 pushed by mtf90
January 16, 2025 16:05 21m 36s develop
develop
January 16, 2025 16:05 21m 36s
Push on develop CodeQL #13: by mtf90
January 16, 2025 16:05 2m 27s develop
develop
January 16, 2025 16:05 2m 27s
Push on develop CodeQL #12: by mtf90
January 14, 2025 16:06 2m 49s develop
develop
January 14, 2025 16:06 2m 49s
adjust to AutomataLib refactorings CI #166: Commit 512a80e pushed by mtf90
January 14, 2025 16:06 22m 45s develop
develop
January 14, 2025 16:06 22m 45s
Scheduled CodeQL #11: by github-advanced-security bot
January 14, 2025 07:53 2m 24s develop
develop
January 14, 2025 07:53 2m 24s
cleanup some ADT code CI #165: Commit 61a188b pushed by mtf90
January 13, 2025 20:19 20m 18s develop
develop
January 13, 2025 20:19 20m 18s
Push on develop CodeQL #10: by mtf90
January 13, 2025 20:19 2m 40s develop
develop
January 13, 2025 20:19 2m 40s
PTA improvements CI #164: Commit 2fa3fd0 pushed by mtf90
January 10, 2025 17:50 25m 49s develop
develop
January 10, 2025 17:50 25m 49s
Push on develop CodeQL #9: by mtf90
January 10, 2025 17:50 2m 18s develop
develop
January 10, 2025 17:50 2m 18s
Push on develop CodeQL #8: by mtf90
January 7, 2025 15:38 4m 20s develop
develop
January 7, 2025 15:38 4m 20s
Push on develop CodeQL #7: by mtf90
January 7, 2025 14:48 4m 12s develop
develop
January 7, 2025 14:48 4m 12s
CI CI #163: by mtf90
January 7, 2025 14:47 27m 21s develop
develop
January 7, 2025 14:47 27m 21s
Push on develop CodeQL #6: by mtf90
January 7, 2025 13:53 2m 53s develop
develop
January 7, 2025 13:53 2m 53s
Update dependencies (#139) CI #162: Commit b0fcccd pushed by mtf90
January 7, 2025 13:53 26m 45s develop
develop
January 7, 2025 13:53 26m 45s
Update dependencies CI #161: Pull request #139 opened by mtf90
January 7, 2025 12:32 26m 58s mtf90:update-dependencies
mtf90:update-dependencies
January 7, 2025 12:32 26m 58s
Scheduled CodeQL #5: by github-advanced-security bot
January 7, 2025 07:53 2m 18s develop
develop
January 7, 2025 07:53 2m 18s
merge datastructure modules CI #160: Commit 9e456ff pushed by mtf90
December 31, 2024 17:41 25m 22s develop
develop
December 31, 2024 17:41 25m 22s
Push on develop CodeQL #4: by mtf90
December 31, 2024 17:41 2m 14s develop
develop
December 31, 2024 17:41 2m 14s
Scheduled CodeQL #3: by github-advanced-security bot
December 31, 2024 07:53 2m 8s develop
develop
December 31, 2024 07:53 2m 8s
Scheduled CodeQL #2: by github-advanced-security bot
December 24, 2024 07:53 2m 1s develop
develop
December 24, 2024 07:53 2m 1s
CodeQL Setup CodeQL #1: by mtf90
December 24, 2024 00:35 2m 9s develop
develop
December 24, 2024 00:35 2m 9s
github: restrict CI permissions CI #159: Commit 568c369 pushed by mtf90
December 24, 2024 00:34 20m 20s develop
develop
December 24, 2024 00:34 20m 20s