Skip to content

Actions: flo2702/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 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
Weekly Builds of KeY Weekly Builds of KeY #127: Scheduled
4m 5s main
main
4m 5s
Weekly Builds of KeY Weekly Builds of KeY #126: Scheduled
3m 34s main
main
3m 34s
Support for try-with-resources by reduction (#3918) CodeQuality #16: Commit 359625f pushed by flo2702
2m 34s main
main
2m 34s
Support for try-with-resources by reduction (#3918) Tests #16: Commit 359625f pushed by flo2702
42m 15s main
main
42m 15s
Weekly Builds of KeY Weekly Builds of KeY #125: Scheduled
3m 36s main
main
3m 36s
Optional Tests Optional Tests #98: Scheduled
6h 0m 18s main
main
6h 0m 18s
Weekly Builds of KeY Weekly Builds of KeY #124: Scheduled
3m 47s main
main
3m 47s
Broad Release Tests Broad Release Tests #2: Scheduled
6h 3m 50s main
main
6h 3m 50s
Optional Tests Optional Tests #97: Scheduled
6h 0m 18s main
main
6h 0m 18s
Weekly Builds of KeY Weekly Builds of KeY #123: Scheduled
3m 27s main
main
3m 27s
Weekly Builds of KeY Weekly Builds of KeY #122: Scheduled
3m 43s main
main
3m 43s
Optional Tests Optional Tests #96: Scheduled
6h 0m 21s main
main
6h 0m 21s
Weekly Builds of KeY Weekly Builds of KeY #121: Scheduled
3m 45s main
main
3m 45s
Optional Tests Optional Tests #95: Scheduled
6h 0m 13s main
main
6h 0m 13s
Weekly Builds of KeY Weekly Builds of KeY #120: Scheduled
4m 10s main
main
4m 10s
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