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
Tests Tests #5102: Merge group checks requested
In progress
In progress
CodeQuality CodeQuality #5184: Merge group checks requested
2m 40s
2m 40s
Enable bounded cross-multiplication of inequations in DefOps Tests #5101: Pull request #3907 opened by unp1
41m 8s bubel/defops-crossmult
bubel/defops-crossmult
41m 8s
Enable bounded cross-multiplication of inequations in DefOps CodeQuality #5183: Pull request #3907 opened by unp1
2m 31s bubel/defops-crossmult
bubel/defops-crossmult
2m 31s
Ensure default option for pruning/disposing of cache sources is set p… CodeQuality #5182: Commit a846fa2 pushed by github-merge-queue Bot
2m 34s main
main
2m 34s
Ensure default option for pruning/disposing of cache sources is set p… Tests #5100: Commit a846fa2 pushed by github-merge-queue Bot
31m 25s main
main
31m 25s
Microfix: Missing ',' in CLUTTER_RULES prevented rules to be lower priotized (as their two name were joined together) Tests #5099: Pull request #3906 opened by unp1
40m 27s fixClutterRuleList
fixClutterRuleList
40m 27s
Microfix: Missing ',' in CLUTTER_RULES prevented rules to be lower priotized (as their two name were joined together) CodeQuality #5181: Pull request #3906 opened by unp1
2m 22s fixClutterRuleList
fixClutterRuleList
2m 22s
Fix: Automode button in Strategy Pane could not be used to stop automode CodeQuality #5180: Pull request #3896 synchronize by WolframPfeifer
2m 30s strategy-stop-fix
strategy-stop-fix
2m 30s
Fix: Automode button in Strategy Pane could not be used to stop automode Tests #5098: Pull request #3896 synchronize by WolframPfeifer
41m 6s strategy-stop-fix
strategy-stop-fix
41m 6s
CodeQuality CodeQuality #5179: Merge group checks requested
2m 36s
2m 36s
Tests Tests #5097: Merge group checks requested
32m 51s
32m 51s
Fix pruning of cached branches Tests #5096: Pull request #3858 synchronize by WolframPfeifer
40m 28s FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
40m 28s
Fix pruning of cached branches CodeQuality #5178: Pull request #3858 synchronize by WolframPfeifer
2m 36s FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
2m 36s
Fix compact constructor in Records Tests #5095: Pull request #3905 opened by wadoon
34m 47s weigl/recordcc
weigl/recordcc
34m 47s
Fix compact constructor in Records CodeQuality #5177: Pull request #3905 opened by wadoon
2m 34s weigl/recordcc
weigl/recordcc
2m 34s
Make the strategy cost structure explicit Tests #5094: Pull request #3904 synchronize by unp1
40m 44s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
40m 44s
Make the strategy cost structure explicit CodeQuality #5176: Pull request #3904 synchronize by unp1
2m 13s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
2m 13s
Make the strategy cost structure explicit CodeQuality #5175: Pull request #3904 synchronize by unp1
2m 27s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
2m 27s
Make the strategy cost structure explicit Tests #5093: Pull request #3904 synchronize by unp1
40m 44s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
40m 44s
Make the strategy cost structure explicit Tests #5092: Pull request #3904 synchronize by unp1
40m 36s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
40m 36s
Make the strategy cost structure explicit CodeQuality #5174: Pull request #3904 synchronize by unp1
1m 43s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
1m 43s
Make the strategy cost structure explicit Tests #5091: Pull request #3904 opened by unp1
37m 33s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
37m 33s
Make the strategy cost structure explicit CodeQuality #5173: Pull request #3904 opened by unp1
2m 27s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
2m 27s
Metadata Curation for Commit 88fb02a0 Software Publication #7: Pull request #3903 closed by wadoon
17s hermes/curate-result-88fb02a0
hermes/curate-result-88fb02a0
17s