Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,946 workflow runs
1,946 workflow runs

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
Fix: Automode button in Strategy Pane could not be used to stop autom… CodeQuality #5213: Commit 0a91117 pushed by github-merge-queue Bot
2m 36s main
main
2m 36s
CodeQuality CodeQuality #5212: Merge group checks requested
2m 24s
2m 24s
Multithreading for KeY and now it's deterministic too CodeQuality #5211: Pull request #3842 synchronize by unp1
2m 11s bubel/mt-goals
bubel/mt-goals
2m 11s
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
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
CodeQuality CodeQuality #5206: Merge group checks requested
2m 20s
2m 20s
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
CodeQuality CodeQuality #5204: Merge group checks requested
2m 36s
2m 36s
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
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
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 recent file menu; fix #3898 CodeQuality #5199: Pull request #3909 synchronize by wadoon
2m 1s weigl/rcfiles
weigl/rcfiles
2m 1s
Removal of proof_references and symbolic_execution modules (#3910) CodeQuality #5198: Commit d3de45c pushed by github-merge-queue Bot
2m 35s main
main
2m 35s
CodeQuality CodeQuality #5197: Merge group checks requested
2m 21s
2m 21s
soundiness first steps CodeQuality #5196: Pull request #3887 synchronize by WolframPfeifer
2m 28s mattulbrich:soundinessDialogue
mattulbrich:soundinessDialogue
2m 28s
Fix recent file menu; fix #3898 CodeQuality #5195: Pull request #3909 synchronize by wadoon
2m 4s weigl/rcfiles
weigl/rcfiles
2m 4s
Removal of proof_references and symbolic_execution modules CodeQuality #5194: Pull request #3910 opened by wadoon
2m 25s weigl/rmoptmodules
weigl/rmoptmodules
2m 25s
Fix pruning of cached branches (#3858) CodeQuality #5193: Commit 75f0a04 pushed by github-merge-queue Bot
2m 37s main
main
2m 37s
Make \sameUpdateLevel the default (#3899) CodeQuality #5192: Commit 3e825b0 pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
Fix recent file menu; fix #3898 CodeQuality #5191: Pull request #3909 synchronize by wadoon
2m 2s weigl/rcfiles
weigl/rcfiles
2m 2s
Fix recent file menu; fix #3898 CodeQuality #5190: Pull request #3909 synchronize by wadoon
54s weigl/rcfiles
weigl/rcfiles
54s
Fix recent file menu; fix #3898 CodeQuality #5189: Pull request #3909 opened by wadoon
2m 2s weigl/rcfiles
weigl/rcfiles
2m 2s