Skip to content

Actions: KeYProject/key

Actions

Optional Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
opttest.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optional Tests Optional Tests #111: Scheduled
October 21, 2024 01:36 17m 38s main
main
October 21, 2024 01:36 17m 38s
Optional Tests Optional Tests #110: Scheduled
October 11, 2024 01:25 17m 58s main
main
October 11, 2024 01:25 17m 58s
Optional Tests Optional Tests #109: Scheduled
October 1, 2024 01:41 17m 29s main
main
October 1, 2024 01:41 17m 29s
Optional Tests Optional Tests #108: Scheduled
September 21, 2024 01:22 18m 23s main
main
September 21, 2024 01:22 18m 23s
Optional Tests Optional Tests #107: Scheduled
September 11, 2024 01:22 18m 19s main
main
September 11, 2024 01:22 18m 19s
Optional Tests Optional Tests #106: Scheduled
September 1, 2024 01:40 18m 8s main
main
September 1, 2024 01:40 18m 8s
Optional Tests Optional Tests #105: Scheduled
August 31, 2024 01:21 18m 14s main
main
August 31, 2024 01:21 18m 14s
Optional Tests Optional Tests #104: Scheduled
August 21, 2024 01:18 17m 40s main
main
August 21, 2024 01:18 17m 40s
Optional Tests Optional Tests #103: Scheduled
August 11, 2024 01:24 17m 59s main
main
August 11, 2024 01:24 17m 59s
Optional Tests Optional Tests #102: Scheduled
August 1, 2024 01:23 18m 23s main
main
August 1, 2024 01:23 18m 23s
Optional Tests Optional Tests #101: Scheduled
July 31, 2024 01:04 17m 37s main
main
July 31, 2024 01:04 17m 37s
Optional Tests Optional Tests #100: Scheduled
July 21, 2024 01:22 18m 46s main
main
July 21, 2024 01:22 18m 46s
Optional Tests Optional Tests #99: Scheduled
July 11, 2024 01:16 17m 20s main
main
July 11, 2024 01:16 17m 20s
Optional Tests Optional Tests #98: Scheduled
July 1, 2024 01:22 17m 29s main
main
July 1, 2024 01:22 17m 29s
Optional Tests Optional Tests #97: Scheduled
June 21, 2024 01:13 17m 3s main
main
June 21, 2024 01:13 17m 3s
Optional Tests Optional Tests #96: Scheduled
June 11, 2024 01:14 16m 16s main
main
June 11, 2024 01:14 16m 16s
Optional Tests Optional Tests #95: Scheduled
June 1, 2024 01:16 16m 44s main
main
June 1, 2024 01:16 16m 44s
Optional Tests Optional Tests #94: Scheduled
May 31, 2024 01:13 16m 27s main
main
May 31, 2024 01:13 16m 27s
Optional Tests Optional Tests #93: Scheduled
May 21, 2024 01:10 16m 52s main
main
May 21, 2024 01:10 16m 52s
Optional Tests Optional Tests #92: Scheduled
May 11, 2024 01:09 16m 25s main
main
May 11, 2024 01:09 16m 25s
Optional Tests Optional Tests #91: Scheduled
May 1, 2024 01:13 16m 42s main
main
May 1, 2024 01:13 16m 42s
Optional Tests Optional Tests #90: Scheduled
April 21, 2024 01:12 16m 31s main
main
April 21, 2024 01:12 16m 31s
Optional Tests Optional Tests #89: Scheduled
April 11, 2024 01:07 17m 16s main
main
April 11, 2024 01:07 17m 16s
Optional Tests Optional Tests #88: Scheduled
April 1, 2024 01:12 16m 57s main
main
April 1, 2024 01:12 16m 57s
Optional Tests Optional Tests #87: Scheduled
March 31, 2024 01:12 17m 10s main
main
March 31, 2024 01:12 17m 10s