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
gradle in /. for ch.qos.logback:logback-core - Update #1455446460 Dependabot Updates #173: by dependabot Bot
34s main
main
34s
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
Removal of proof_references and symbolic_execution modules (#3910) Tests #5116: Commit d3de45c pushed by github-merge-queue Bot
40m 54s main
main
40m 54s
CodeQuality CodeQuality #5197: Merge group checks requested
2m 21s
2m 21s
Tests Tests #5115: Merge group checks requested
40m 1s
40m 1s
soundiness first steps Tests #5114: Pull request #3887 synchronize by WolframPfeifer
41m 41s mattulbrich:soundinessDialogue
mattulbrich:soundinessDialogue
41m 41s
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
Fix recent file menu; fix #3898 Tests #5113: Pull request #3909 synchronize by wadoon
41m 33s weigl/rcfiles
weigl/rcfiles
41m 33s
Removal of proof_references and symbolic_execution modules CodeQuality #5194: Pull request #3910 opened by wadoon
2m 25s weigl/rmoptmodules
weigl/rmoptmodules
2m 25s
Removal of proof_references and symbolic_execution modules Tests #5112: Pull request #3910 opened by wadoon
41m 44s weigl/rmoptmodules
weigl/rmoptmodules
41m 44s
Fix pruning of cached branches (#3858) Tests #5111: Commit 75f0a04 pushed by github-merge-queue Bot
40m 31s main
main
40m 31s
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
Make \sameUpdateLevel the default (#3899) Tests #5110: Commit 3e825b0 pushed by github-merge-queue Bot
41m 5s main
main
41m 5s
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 Tests #5109: Pull request #3909 synchronize by wadoon
41m 4s weigl/rcfiles
weigl/rcfiles
41m 4s
Fix recent file menu; fix #3898 Tests #5108: Pull request #3909 synchronize by wadoon
40m 46s weigl/rcfiles
weigl/rcfiles
40m 46s
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 Tests #5107: Pull request #3909 opened by wadoon
41m 0s weigl/rcfiles
weigl/rcfiles
41m 0s
Fix recent file menu; fix #3898 CodeQuality #5189: Pull request #3909 opened by wadoon
2m 2s weigl/rcfiles
weigl/rcfiles
2m 2s
Multithreading for KeY and now it's deterministic too Tests #5106: Pull request #3842 synchronize by unp1
43m 52s bubel/mt-goals
bubel/mt-goals
43m 52s
Multithreading for KeY and now it's deterministic too CodeQuality #5188: Pull request #3842 synchronize by unp1
2m 30s bubel/mt-goals
bubel/mt-goals
2m 30s
Tests Tests #5105: Merge group checks requested
41m 58s
41m 58s
CodeQuality CodeQuality #5187: Merge group checks requested
2m 29s
2m 29s