Skip to content

Actions: KeYProject/key

Actions

Optional Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
opttest.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optional Tests Optional Tests #163: Scheduled
2m 17s main
main
2m 17s
Optional Tests Optional Tests #162: Scheduled
2m 38s main
main
2m 38s
Optional Tests Optional Tests #161: Scheduled
2m 10s main
main
2m 10s
Optional Tests Optional Tests #160: Scheduled
2m 24s main
main
2m 24s
Optional Tests Optional Tests #159: Scheduled
2m 4s main
main
2m 4s
Optional Tests Optional Tests #158: Scheduled
2m 9s main
main
2m 9s
Optional Tests Optional Tests #157: Scheduled
2m 26s main
main
2m 26s
Optional Tests Optional Tests #156: Scheduled
2m 13s main
main
2m 13s
Optional Tests Optional Tests #155: Scheduled
2m 33s main
main
2m 33s
Optional Tests Optional Tests #154: Scheduled
2m 17s main
main
2m 17s
Optional Tests Optional Tests #153: Scheduled
2m 15s main
main
2m 15s
Optional Tests Optional Tests #152: Scheduled
2m 32s main
main
2m 32s
Optional Tests Optional Tests #151: Scheduled
1m 59s main
main
1m 59s
Optional Tests Optional Tests #150: Scheduled
1m 50s main
main
1m 50s
Optional Tests Optional Tests #149: Scheduled
1m 51s main
main
1m 51s
Optional Tests Optional Tests #148: Scheduled
1m 53s main
main
1m 53s
Optional Tests Optional Tests #147: Scheduled
1m 50s main
main
1m 50s
Optional Tests Optional Tests #146: Scheduled
1m 50s main
main
1m 50s
Optional Tests Optional Tests #145: Scheduled
1m 52s main
main
1m 52s
Optional Tests Optional Tests #144: Scheduled
2m 41s main
main
2m 41s
Optional Tests Optional Tests #143: Scheduled
1m 51s main
main
1m 51s
Optional Tests Optional Tests #142: Scheduled
1m 59s main
main
1m 59s
Optional Tests Optional Tests #141: Scheduled
1m 51s main
main
1m 51s
Optional Tests Optional Tests #140: Scheduled
2m 20s main
main
2m 20s
Optional Tests Optional Tests #139: Scheduled
3m 18s main
main
3m 18s