Skip to content

Actions: KeYProject/key

Actions

Broad Release Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-tests.yml
10 workflow runs
10 workflow runs

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 #10: Scheduled
47m 25s main
main
47m 25s
Broad Release Tests Broad Release Tests #9: Manually run by unp1
59m 29s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
59m 29s
Broad Release Tests Broad Release Tests #8: Manually run by unp1
51m 9s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
51m 9s
Broad Release Tests Broad Release Tests #7: Manually run by unp1
1h 0m 19s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
1h 0m 19s
Broad Release Tests Broad Release Tests #6: Manually run by unp1
1h 45m 30s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
1h 45m 30s
Broad Release Tests Broad Release Tests #5: Manually run by unp1
31m 17s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
31m 17s
Broad Release Tests Broad Release Tests #4: Scheduled
6h 0m 23s main
main
6h 0m 23s
Broad Release Tests Broad Release Tests #3: Scheduled
6h 0m 19s main
main
6h 0m 19s
Broad Release Tests Broad Release Tests #2: Scheduled
6h 5m 10s main
main
6h 5m 10s
Broad Release Tests Broad Release Tests #1: Scheduled
6h 5m 16s main
main
6h 5m 16s