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
Multithreading for KeY CodeQuality #4757: Pull request #3842 synchronize by unp1
2m 30s bubel/mt-goals
bubel/mt-goals
2m 30s
Multithreading for KeY Tests #4678: Pull request #3842 synchronize by unp1
46m 12s bubel/mt-goals
bubel/mt-goals
46m 12s
Multithreading for KeY: combined preview with the performance series CodeQuality #4756: Pull request #3843 synchronize by unp1
2m 11s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 11s
Multithreading for KeY: combined preview with the performance series Tests #4677: Pull request #3843 synchronize by unp1
47m 47s bubel/mt-perf-integration
bubel/mt-perf-integration
47m 47s
Multithreading for KeY CodeQuality #4755: Pull request #3842 synchronize by unp1
2m 14s bubel/mt-goals
bubel/mt-goals
2m 14s
Multithreading for KeY Tests #4676: Pull request #3842 synchronize by unp1
45m 43s bubel/mt-goals
bubel/mt-goals
45m 43s
Multithreading for KeY: combined preview with the performance series Tests #4675: Pull request #3843 synchronize by unp1
46m 16s bubel/mt-perf-integration
bubel/mt-perf-integration
46m 16s
Multithreading for KeY: combined preview with the performance series CodeQuality #4754: Pull request #3843 synchronize by unp1
2m 18s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 18s
Fixes for minor regressions on main Tests #4674: Pull request #3844 opened by unp1
45m 22s bubel/minor-regression-fixes
bubel/minor-regression-fixes
45m 22s
Fixes for minor regressions on main CodeQuality #4753: Pull request #3844 opened by unp1
2m 8s bubel/minor-regression-fixes
bubel/minor-regression-fixes
2m 8s
Multithreading for KeY CodeQuality #4752: Pull request #3842 synchronize by unp1
2m 24s bubel/mt-goals
bubel/mt-goals
2m 24s
Multithreading for KeY Tests #4673: Pull request #3842 synchronize by unp1
42m 0s bubel/mt-goals
bubel/mt-goals
42m 0s
Multithreading for KeY: combined preview with the performance series Tests #4672: Pull request #3843 synchronize by unp1
45m 37s bubel/mt-perf-integration
bubel/mt-perf-integration
45m 37s
Multithreading for KeY: combined preview with the performance series CodeQuality #4751: Pull request #3843 synchronize by unp1
2m 15s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 15s
Multithreading for KeY: combined preview with the performance series Tests #4671: Pull request #3843 opened by unp1
47m 16s bubel/mt-perf-integration
bubel/mt-perf-integration
47m 16s
Multithreading for KeY: combined preview with the performance series CodeQuality #4750: Pull request #3843 opened by unp1
2m 14s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 14s
Multithreading for KeY Tests #4670: Pull request #3842 opened by unp1
48m 55s bubel/mt-goals
bubel/mt-goals
48m 55s
Multithreading for KeY CodeQuality #4749: Pull request #3842 opened by unp1
2m 6s bubel/mt-goals
bubel/mt-goals
2m 6s
Allow realizing multiple cached branches at once CodeQuality #4748: Pull request #3440 synchronize by WolframPfeifer
2m 20s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
2m 20s
Allow realizing multiple cached branches at once Tests #4669: Pull request #3440 synchronize by WolframPfeifer
46m 53s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
46m 53s
Allow realizing multiple cached branches at once CodeQuality #4747: Pull request #3440 synchronize by WolframPfeifer
2m 30s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
2m 30s
Allow realizing multiple cached branches at once Tests #4668: Pull request #3440 synchronize by WolframPfeifer
45m 32s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
45m 32s
Handle Switch in Taclets w/o Transformer CodeQuality #4746: Pull request #3761 synchronize by Drodt
2m 24s Drodt:match-switch
Drodt:match-switch
2m 24s
Handle Switch in Taclets w/o Transformer Tests #4667: Pull request #3761 synchronize by Drodt
6h 0m 19s Drodt:match-switch
Drodt:match-switch
6h 0m 19s
Handle Switch in Taclets w/o Transformer CodeQuality #4745: Pull request #3761 synchronize by Drodt
1m 44s Drodt:match-switch
Drodt:match-switch
1m 44s