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
Missing ',' in CLUTTER_RULES prevented to rules to be hidden (as their two name were joined together) Tests #5099: Pull request #3906 opened by unp1
In progress fixClutterRuleList
fixClutterRuleList
In progress
Missing ',' in CLUTTER_RULES prevented to rules to be hidden (as their two name were joined together) CodeQuality #5181: Pull request #3906 opened by unp1
In progress fixClutterRuleList
fixClutterRuleList
In progress
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
In progress strategy-stop-fix
strategy-stop-fix
In progress
CodeQuality CodeQuality #5179: Merge group checks requested
2m 36s
2m 36s
Tests Tests #5097: Merge group checks requested
In progress
In progress
Fix pruning of cached branches Tests #5096: Pull request #3858 synchronize by WolframPfeifer
In progress FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
In progress
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
In progress weigl/recordcc
weigl/recordcc
In progress
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
remove plugin Software Publication #6: Commit 88fb02a pushed by wadoon
35s weigl/hermes2
weigl/hermes2
35s
remove plugin Software Publication #5: Commit 4ab0356 pushed by wadoon
33s weigl/hermes2
weigl/hermes2
33s
hermes snd try Software Publication #4: Commit e8507af pushed by wadoon
26s weigl/hermes2
weigl/hermes2
26s
Add user-defined strategy presets to the strategy options pane Tests #5090: Pull request #3902 opened by unp1
41m 33s bubel/strategy-preset-save
bubel/strategy-preset-save
41m 33s
Add user-defined strategy presets to the strategy options pane CodeQuality #5171: Pull request #3902 opened by unp1
2m 38s bubel/strategy-preset-save
bubel/strategy-preset-save
2m 38s
Optimize UI updates of slicing panel Tests #5089: Pull request #3735 synchronize by FliegendeWurst
39m 32s FliegendeWurst:slicing-ui-perf
FliegendeWurst:slicing-ui-perf
39m 32s