Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Use default key stroke settings when no settings file exists (#3913) Tests #5128: Commit a7d6650 pushed by github-merge-queue Bot
In progress main
main
In progress
Use default key stroke settings when no settings file exists (#3913) CodeQuality #5210: Commit a7d6650 pushed by github-merge-queue Bot
2m 10s main
main
2m 10s
CodeQuality CodeQuality #5209: Merge group checks requested
2m 26s
2m 26s
Tests Tests #5127: Merge group checks requested
40m 24s
40m 24s
Respect the \profile declaration of loaded files again (#3912) Tests #5126: Commit 8ba5116 pushed by github-merge-queue Bot
42m 7s main
main
42m 7s
Respect the \profile declaration of loaded files again (#3912) CodeQuality #5208: Commit 8ba5116 pushed by github-merge-queue Bot
2m 25s main
main
2m 25s
Fix broken proof tree after information flow auto pilot (#3911) CodeQuality #5207: Commit 61d1c54 pushed by github-merge-queue Bot
2m 26s main
main
2m 26s
Fix broken proof tree after information flow auto pilot (#3911) Tests #5125: Commit 61d1c54 pushed by github-merge-queue Bot
40m 26s main
main
40m 26s
CodeQuality CodeQuality #5206: Merge group checks requested
2m 20s
2m 20s
Tests Tests #5124: Merge group checks requested
33m 32s
33m 32s
Use default key stroke settings when no settings file exists CodeQuality #5205: Pull request #3913 opened by unp1
2m 21s fix-keystroke-npe
fix-keystroke-npe
2m 21s
Use default key stroke settings when no settings file exists Tests #5123: Pull request #3913 opened by unp1
41m 0s fix-keystroke-npe
fix-keystroke-npe
41m 0s
CodeQuality CodeQuality #5204: Merge group checks requested
2m 36s
2m 36s
Tests Tests #5122: Merge group checks requested
41m 25s
41m 25s
Fix recent file menu; fix #3898 Tests #5121: Pull request #3909 synchronize by wadoon
39m 55s weigl/rcfiles
weigl/rcfiles
39m 55s
Fix recent file menu; fix #3898 CodeQuality #5203: Pull request #3909 synchronize by wadoon
2m 32s weigl/rcfiles
weigl/rcfiles
2m 32s
Fix recent file menu; fix #3898 CodeQuality #5202: Pull request #3909 synchronize by wadoon
2m 20s weigl/rcfiles
weigl/rcfiles
2m 20s
Fix recent file menu; fix #3898 Tests #5120: Pull request #3909 synchronize by wadoon
41m 25s weigl/rcfiles
weigl/rcfiles
41m 25s
Respect the \profile declaration of loaded files again CodeQuality #5201: Pull request #3912 opened by unp1
2m 32s bubel/infflow-profile-loading
bubel/infflow-profile-loading
2m 32s
Respect the \profile declaration of loaded files again Tests #5119: Pull request #3912 opened by unp1
44m 47s bubel/infflow-profile-loading
bubel/infflow-profile-loading
44m 47s
Fix broken proof tree after information flow auto pilot CodeQuality #5200: Pull request #3911 opened by unp1
2m 21s bubel/issue-3713-infflow-tree
bubel/issue-3713-infflow-tree
2m 21s
Fix broken proof tree after information flow auto pilot Tests #5118: Pull request #3911 opened by unp1
40m 54s bubel/issue-3713-infflow-tree
bubel/issue-3713-infflow-tree
40m 54s
Fix recent file menu; fix #3898 CodeQuality #5199: Pull request #3909 synchronize by wadoon
2m 1s weigl/rcfiles
weigl/rcfiles
2m 1s
Fix recent file menu; fix #3898 Tests #5117: Pull request #3909 synchronize by wadoon
42m 3s weigl/rcfiles
weigl/rcfiles
42m 3s
gradle in /. for ch.qos.logback:logback-core - Update #1455446460 Dependabot Updates #173: by dependabot Bot
34s main
main
34s