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
Allow realizing multiple cached branches at once CodeQuality #4763: Pull request #3440 synchronize by WolframPfeifer
2m 21s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
2m 21s
Allow realizing multiple cached branches at once Tests #4684: Pull request #3440 synchronize by WolframPfeifer
In progress FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
In progress
Better ImmutableList Tests #4683: Pull request #3816 synchronize by wadoon
45m 10s weigl/ilist
weigl/ilist
45m 10s
Better ImmutableList CodeQuality #4762: Pull request #3816 synchronize by wadoon
1m 21s weigl/ilist
weigl/ilist
1m 21s
Fixes for minor regressions on main (#3844) Tests #4682: Commit 0655e80 pushed by github-merge-queue Bot
43m 58s main
main
43m 58s
Fixes for minor regressions on main (#3844) CodeQuality #4761: Commit 0655e80 pushed by github-merge-queue Bot
2m 18s main
main
2m 18s
CodeQuality CodeQuality #4760: Merge group checks requested
2m 25s
2m 25s
Tests Tests #4681: Merge group checks requested
46m 15s
46m 15s
Better ImmutableList Tests #4680: Pull request #3816 synchronize by wadoon
2m 26s weigl/ilist
weigl/ilist
2m 26s
Better ImmutableList CodeQuality #4759: Pull request #3816 synchronize by wadoon
1m 11s weigl/ilist
weigl/ilist
1m 11s
Make package sealable Tests #4679: Pull request #3845 opened by wadoon
27m 41s weigl/packageunique
weigl/packageunique
27m 41s
Make package sealable CodeQuality #4758: Pull request #3845 opened by wadoon
1m 47s weigl/packageunique
weigl/packageunique
1m 47s
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