Skip to content

Actions: flo2702/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 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
Broad Release Tests Broad Release Tests #1: Scheduled
6h 3m 19s main
main
6h 3m 19s
Weekly Builds of KeY Weekly Builds of KeY #119: Scheduled
3m 44s main
main
3m 44s
Optional Tests Optional Tests #94: Scheduled
6h 0m 19s main
main
6h 0m 19s
Optional Tests Optional Tests #93: Scheduled
6h 0m 20s main
main
6h 0m 20s
Weekly Builds of KeY Weekly Builds of KeY #118: Scheduled
3m 51s main
main
3m 51s
Optional Tests Optional Tests #92: Scheduled
6h 0m 18s main
main
6h 0m 18s
Weekly Builds of KeY Weekly Builds of KeY #117: Scheduled
4m 8s main
main
4m 8s
Remove codecov from CI (#3802) CodeQuality #15: Commit 9b13d38 pushed by flo2702
2m 22s main
main
2m 22s
Remove codecov from CI (#3802) Tests #15: Commit 9b13d38 pushed by flo2702
41m 56s main
main
41m 56s
Optional Tests Optional Tests #91: Scheduled
2m 1s main
main
2m 1s
Broad Release Tests Broad Release Tests #102: Scheduled
1h 21m 35s main
main
1h 21m 35s
Weekly Builds of KeY Weekly Builds of KeY #116: Scheduled
5m 0s main
main
5m 0s
Optional Tests Optional Tests #90: Scheduled
1m 57s main
main
1m 57s
Broad Release Tests Broad Release Tests #101: Scheduled
1h 17m 40s main
main
1h 17m 40s
Weekly Builds of KeY Weekly Builds of KeY #115: Scheduled
5m 8s main
main
5m 8s
Optional Tests Optional Tests #89: Scheduled
2m 1s main
main
2m 1s
Broad Release Tests Broad Release Tests #100: Scheduled
1h 18m 26s main
main
1h 18m 26s
Weekly Builds of KeY Weekly Builds of KeY #114: Scheduled
5m 4s main
main
5m 4s
Broad Release Tests Broad Release Tests #99: Scheduled
1h 20m 19s main
main
1h 20m 19s
Weekly Builds of KeY Weekly Builds of KeY #113: Scheduled
4m 51s main
main
4m 51s
Optional Tests Optional Tests #88: Scheduled
1m 56s main
main
1m 56s
Broad Release Tests Broad Release Tests #98: Scheduled
1h 18m 29s main
main
1h 18m 29s
Weekly Builds of KeY Weekly Builds of KeY #112: Scheduled
4m 49s main
main
4m 49s
Optional Tests Optional Tests #87: Scheduled
2m 11s main
main
2m 11s
Optional Tests Optional Tests #86: Scheduled
2m 29s main
main
2m 29s