Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,602 workflow runs
5,602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Using semantic version (SemVer) scheme for KeY (#3523) Tests #2620: Commit a59c293 pushed by github-merge-queue bot
October 28, 2024 16:22 1h 8m 41s main
main
October 28, 2024 16:22 1h 8m 41s
Using semantic version (SemVer) scheme for KeY (#3523) CodeQuality #2688: Commit a59c293 pushed by github-merge-queue bot
October 28, 2024 16:22 8m 14s main
main
October 28, 2024 16:22 8m 14s
Using semantic version (SemVer) scheme for KeY (#3523) CodeQL #2675: Commit a59c293 pushed by github-merge-queue bot
October 28, 2024 16:22 7m 56s main
main
October 28, 2024 16:22 7m 56s
CodeQuality CodeQuality #2687: Merge group checks requested
October 28, 2024 15:14 8m 59s
October 28, 2024 15:14 8m 59s
CodeQL CodeQL #2674: Merge group checks requested
October 28, 2024 15:14 7m 24s
October 28, 2024 15:14 7m 24s
Tests Tests #2619: Merge group checks requested
October 28, 2024 15:14 1h 7m 28s
October 28, 2024 15:14 1h 7m 28s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #93: Scheduled
October 28, 2024 05:21 48s main
main
October 28, 2024 05:21 48s
Broad Release Tests Broad Release Tests #80: Scheduled
October 28, 2024 05:17 1h 12m 56s main
main
October 28, 2024 05:17 1h 12m 56s
Removal of Triple, and Quadruple CodeQuality #2686: Pull request #3399 synchronize by wadoon
October 25, 2024 21:51 2m 16s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
October 25, 2024 21:51 2m 16s
Removal of Triple, and Quadruple Tests #2618: Pull request #3399 synchronize by wadoon
October 25, 2024 21:51 1h 6m 28s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
October 25, 2024 21:51 1h 6m 28s
Removal of Triple, and Quadruple CodeQL #2673: Pull request #3399 synchronize by wadoon
October 25, 2024 21:51 7m 4s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
October 25, 2024 21:51 7m 4s
Using semantic version (SemVer) scheme for KeY Tests #2617: Pull request #3523 synchronize by wadoon
October 25, 2024 13:26 1h 8m 27s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 1h 8m 27s
Using semantic version (SemVer) scheme for KeY CodeQL #2672: Pull request #3523 synchronize by wadoon
October 25, 2024 13:26 14m 19s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 14m 19s
Using semantic version (SemVer) scheme for KeY CodeQuality #2685: Pull request #3523 synchronize by wadoon
October 25, 2024 13:26 8m 14s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 8m 14s
Using semantic version (SemVer) scheme for KeY CodeQL #2671: Pull request #3523 opened by wadoon
October 25, 2024 13:26 6m 58s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 6m 58s
Using semantic version (SemVer) scheme for KeY Tests #2616: Pull request #3523 opened by wadoon
October 25, 2024 13:26 1h 7m 51s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 1h 7m 51s
Using semantic version (SemVer) scheme for KeY CodeQuality #2684: Pull request #3523 opened by wadoon
October 25, 2024 13:26 2m 49s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 2m 49s
Set the Java Release Version to 21 (#3522) CodeQuality #2683: Commit 2a811b6 pushed by github-merge-queue bot
October 25, 2024 13:26 8m 28s main
main
October 25, 2024 13:26 8m 28s
Set the Java Release Version to 21 (#3522) CodeQL #2670: Commit 2a811b6 pushed by github-merge-queue bot
October 25, 2024 13:26 7m 33s main
main
October 25, 2024 13:26 7m 33s
Set the Java Release Version to 21 (#3522) Tests #2615: Commit 2a811b6 pushed by github-merge-queue bot
October 25, 2024 13:26 1h 8m 4s main
main
October 25, 2024 13:26 1h 8m 4s
CodeQL CodeQL #2669: Merge group checks requested
October 25, 2024 12:18 7m 4s
October 25, 2024 12:18 7m 4s
CodeQuality CodeQuality #2682: Merge group checks requested
October 25, 2024 12:18 9m 50s
October 25, 2024 12:18 9m 50s
Tests Tests #2614: Merge group checks requested
October 25, 2024 12:18 1h 6m 49s
October 25, 2024 12:18 1h 6m 49s
Remove version lock for JDT in spotless Tests #2613: Pull request #3498 synchronize by wadoon
October 25, 2024 12:18 1h 7m 1s weigl/spotlessjdtversion
weigl/spotlessjdtversion
October 25, 2024 12:18 1h 7m 1s
Remove version lock for JDT in spotless CodeQuality #2681: Pull request #3498 synchronize by wadoon
October 25, 2024 12:18 1m 55s weigl/spotlessjdtversion
weigl/spotlessjdtversion
October 25, 2024 12:18 1m 55s