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 #1279: Scheduled
July 21, 2023 01:40 4h 48m 10s main
main
July 21, 2023 01:40 4h 48m 10s
Windows Windows #1278: Scheduled
July 20, 2023 01:37 4h 32m 58s main
main
July 20, 2023 01:37 4h 32m 58s
Merge pull request #352 from MSoegtropIMC/fix-windows64-python2-removal Windows #1277: Commit 608b792 pushed by MSoegtropIMC
July 19, 2023 07:39 5h 23m 52s main
main
July 19, 2023 07:39 5h 23m 52s
Windows Windows #1276: Scheduled
July 19, 2023 02:55 3h 50m 8s main
main
July 19, 2023 02:55 3h 50m 8s
Add editorial board Windows #1275: Pull request #353 opened by ybertot
July 18, 2023 12:15 3h 33m 39s ybertot:add-editorial-board
ybertot:add-editorial-board
July 18, 2023 12:15 3h 33m 39s
Windows Windows #1274: Scheduled
July 18, 2023 02:07 3h 31m 32s main
main
July 18, 2023 02:07 3h 31m 32s
Windows: use python3 as default python Windows #1273: Pull request #352 opened by MSoegtropIMC
July 17, 2023 13:18 5h 34m 2s MSoegtropIMC:fix-windows64-python2-removal
MSoegtropIMC:fix-windows64-python2-removal
July 17, 2023 13:18 5h 34m 2s
Windows Windows #1272: Scheduled
July 17, 2023 02:03 4h 37m 0s main
main
July 17, 2023 02:03 4h 37m 0s
Windows Windows #1271: Scheduled
July 16, 2023 02:10 3h 39m 34s main
main
July 16, 2023 02:10 3h 39m 34s
Windows Windows #1270: Scheduled
July 15, 2023 01:58 3h 42m 46s main
main
July 15, 2023 01:58 3h 42m 46s
Windows Windows #1269: Scheduled
July 14, 2023 02:00 3h 31m 48s main
main
July 14, 2023 02:00 3h 31m 48s
Windows Windows #1268: Scheduled
July 13, 2023 02:00 4h 58m 17s main
main
July 13, 2023 02:00 4h 58m 17s
Windows Windows #1267: Scheduled
July 12, 2023 01:57 3h 28m 38s main
main
July 12, 2023 01:57 3h 28m 38s
Windows Windows #1266: Scheduled
July 11, 2023 01:50 3h 42m 2s main
main
July 11, 2023 01:50 3h 42m 2s
Windows Windows #1265: Scheduled
July 10, 2023 01:59 4h 6m 8s main
main
July 10, 2023 01:59 4h 6m 8s
Windows Windows #1264: Scheduled
July 9, 2023 02:06 5h 35m 50s main
main
July 9, 2023 02:06 5h 35m 50s
Windows Windows #1263: Scheduled
July 8, 2023 01:56 5h 7m 3s main
main
July 8, 2023 01:56 5h 7m 3s
Windows: use new MinGW opam repo on top of default opam repo to get n… Windows #1262: Commit 58c421c pushed by MSoegtropIMC
July 7, 2023 10:17 4h 59m 44s main
main
July 7, 2023 10:17 4h 59m 44s
Windows Windows #1261: Scheduled
July 7, 2023 01:57 3h 7m 49s main
main
July 7, 2023 01:57 3h 7m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-07-07 or the other filters available.