Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Opam: add back 'extra-files' field for opam 2.3.0 Windows #2037: Pull request #445 opened by MSoegtropIMC
November 14, 2024 13:33 2h 48m 53s MSoegtropIMC:opam-230-adjustments
MSoegtropIMC:opam-230-adjustments
November 14, 2024 13:33 2h 48m 53s
Windows Windows #2036: Scheduled
November 14, 2024 01:46 2h 44m 16s main
main
November 14, 2024 01:46 2h 44m 16s
Windows Windows #2035: Scheduled
November 13, 2024 01:46 2h 56m 15s main
main
November 13, 2024 01:46 2h 56m 15s
Windows Windows #2034: Scheduled
November 12, 2024 01:44 2h 38m 50s main
main
November 12, 2024 01:44 2h 38m 50s
Windows Windows #2033: Scheduled
November 11, 2024 01:47 2h 44m 40s main
main
November 11, 2024 01:47 2h 44m 40s
Windows Windows #2032: Scheduled
November 10, 2024 01:50 2h 42m 23s main
main
November 10, 2024 01:50 2h 42m 23s
Windows Windows #2031: Scheduled
November 9, 2024 01:42 2h 39m 45s main
main
November 9, 2024 01:42 2h 39m 45s
Windows Windows #2030: Scheduled
November 8, 2024 01:45 2h 37m 20s main
main
November 8, 2024 01:45 2h 37m 20s
Windows Windows #2029: Scheduled
November 7, 2024 01:45 2h 46m 4s main
main
November 7, 2024 01:45 2h 46m 4s
Windows Windows #2028: Scheduled
November 6, 2024 01:44 2h 40m 3s main
main
November 6, 2024 01:44 2h 40m 3s
Windows Windows #2027: Scheduled
November 5, 2024 01:45 2h 35m 32s main
main
November 5, 2024 01:45 2h 35m 32s
Windows Windows #2026: Scheduled
November 4, 2024 01:49 2h 48m 11s main
main
November 4, 2024 01:49 2h 48m 11s
Windows Windows #2025: Scheduled
November 3, 2024 01:53 2h 47m 57s main
main
November 3, 2024 01:53 2h 47m 57s
Windows Windows #2024: Scheduled
November 2, 2024 01:45 2h 36m 4s main
main
November 2, 2024 01:45 2h 36m 4s
Windows Windows #2023: Scheduled
November 1, 2024 01:55 2h 39m 7s main
main
November 1, 2024 01:55 2h 39m 7s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2022: Pull request #429 synchronize by jfehrle
October 31, 2024 19:15 3h 49m 9s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
October 31, 2024 19:15 3h 49m 9s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2021: Pull request #429 synchronize by jfehrle
October 31, 2024 19:10 3h 54m 4s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
October 31, 2024 19:10 3h 54m 4s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2020: Pull request #429 synchronize by jfehrle
October 31, 2024 19:06 2h 50m 21s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
October 31, 2024 19:06 2h 50m 21s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2019: Pull request #429 synchronize by jfehrle
October 31, 2024 18:55 2h 54m 43s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
October 31, 2024 18:55 2h 54m 43s
Windows Windows #2018: Scheduled
October 31, 2024 01:49 2h 49m 11s main
main
October 31, 2024 01:49 2h 49m 11s
Windows Windows #2017: Scheduled
October 30, 2024 01:48 2h 39m 56s main
main
October 30, 2024 01:48 2h 39m 56s
Merge pull request #444 from rtetley/update-readme Windows #2016: Commit 55afa8b pushed by MSoegtropIMC
October 29, 2024 16:25 2h 39m 35s main
main
October 29, 2024 16:25 2h 39m 35s
Removing parts of the readme referring to apple silicon Windows #2015: Pull request #444 opened by rtetley
October 29, 2024 11:47 2h 44m 9s rtetley:update-readme
rtetley:update-readme
October 29, 2024 11:47 2h 44m 9s
Windows Windows #2014: Scheduled
October 29, 2024 01:49 2h 48m 8s main
main
October 29, 2024 01:49 2h 48m 8s
Merge pull request #443 from MSoegtropIMC/remove-release-in-progress Windows #2013: Commit 6f5ba3a pushed by MSoegtropIMC
October 28, 2024 13:34 2h 52m 53s main
main
October 28, 2024 13:34 2h 52m 53s