Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
744 workflow runs
744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #1304: Scheduled
August 10, 2023 01:36 4h 1m 15s main
main
August 10, 2023 01:36 4h 1m 15s
Windows Windows #1303: Scheduled
August 9, 2023 01:32 4h 3m 29s main
main
August 9, 2023 01:32 4h 3m 29s
Windows Windows #1302: Scheduled
August 8, 2023 01:24 5h 20m 51s main
main
August 8, 2023 01:24 5h 20m 51s
Windows Windows #1301: Scheduled
August 7, 2023 01:33 4h 25m 23s main
main
August 7, 2023 01:33 4h 25m 23s
Windows Windows #1300: Scheduled
August 6, 2023 01:21 4h 14m 52s main
main
August 6, 2023 01:21 4h 14m 52s
Windows Windows #1299: Scheduled
August 5, 2023 01:24 3h 41m 26s main
main
August 5, 2023 01:24 3h 41m 26s
2023.03 updates Windows #1298: Pull request #356 opened by MSoegtropIMC
August 4, 2023 18:12 4h 36m 22s MSoegtropIMC:2023.03-updates
MSoegtropIMC:2023.03-updates
August 4, 2023 18:12 4h 36m 22s
Windows Windows #1297: Scheduled
August 4, 2023 01:33 4h 40m 24s main
main
August 4, 2023 01:33 4h 40m 24s
Windows Windows #1296: Scheduled
August 3, 2023 01:26 5h 46m 51s main
main
August 3, 2023 01:26 5h 46m 51s
Merge pull request #355 from MSoegtropIMC/fix-snap Windows #1295: Commit d5cb694 pushed by MSoegtropIMC
August 2, 2023 07:59 4h 25m 1s main
main
August 2, 2023 07:59 4h 25m 1s
Windows Windows #1294: Scheduled
August 2, 2023 01:23 4h 15m 57s main
main
August 2, 2023 01:23 4h 15m 57s
Snap: enabled snap + smoke test Windows #1293: Pull request #355 synchronize by MSoegtropIMC
August 1, 2023 19:08 5h 32m 42s MSoegtropIMC:fix-snap
MSoegtropIMC:fix-snap
August 1, 2023 19:08 5h 32m 42s
Windows Windows #1292: Scheduled
August 1, 2023 01:42 4h 23m 14s main
main
August 1, 2023 01:42 4h 23m 14s
Windows Windows #1291: Scheduled
July 31, 2023 01:34 4h 35m 50s main
main
July 31, 2023 01:34 4h 35m 50s
Windows Windows #1290: Scheduled
July 30, 2023 01:34 4h 38m 45s main
main
July 30, 2023 01:34 4h 38m 45s
Windows Windows #1289: Scheduled
July 29, 2023 01:24 4h 6m 13s main
main
July 29, 2023 01:24 4h 6m 13s
Windows Windows #1288: Scheduled
July 28, 2023 01:24 3h 52m 21s main
main
July 28, 2023 01:24 3h 52m 21s
Windows Windows #1287: Scheduled
July 27, 2023 01:23 4h 20m 36s main
main
July 27, 2023 01:23 4h 20m 36s
Windows Windows #1286: Scheduled
July 26, 2023 01:41 5h 18m 40s main
main
July 26, 2023 01:41 5h 18m 40s
Snap: enabled snap + smoke test Windows #1285: Pull request #355 synchronize by MSoegtropIMC
July 25, 2023 16:37 4h 7m 45s MSoegtropIMC:fix-snap
MSoegtropIMC:fix-snap
July 25, 2023 16:37 4h 7m 45s
Windows Windows #1284: Scheduled
July 25, 2023 01:49 5h 7m 56s main
main
July 25, 2023 01:49 5h 7m 56s
Snap: enabled snap + smoke test Windows #1283: Pull request #355 opened by MSoegtropIMC
July 24, 2023 14:08 4h 45m 27s MSoegtropIMC:fix-snap
MSoegtropIMC:fix-snap
July 24, 2023 14:08 4h 45m 27s
Windows Windows #1282: Scheduled
July 24, 2023 01:39 3h 51m 22s main
main
July 24, 2023 01:39 3h 51m 22s
Windows Windows #1281: Scheduled
July 23, 2023 01:44 4h 1m 20s main
main
July 23, 2023 01:44 4h 1m 20s
Windows Windows #1280: Scheduled
July 22, 2023 01:37 4h 33m 47s main
main
July 22, 2023 01:37 4h 33m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-07-22 or the other filters available.