Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
702 workflow runs
702 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2143: Scheduled
January 22, 2025 01:46 2h 44m 0s main
main
January 22, 2025 01:46 2h 44m 0s
Windows Windows #2142: Scheduled
January 21, 2025 01:44 2h 40m 19s main
main
January 21, 2025 01:44 2h 40m 19s
Windows Windows #2141: Scheduled
January 20, 2025 01:46 2h 33m 53s main
main
January 20, 2025 01:46 2h 33m 53s
Windows Windows #2140: Scheduled
January 19, 2025 01:51 6h 0m 28s main
main
January 19, 2025 01:51 6h 0m 28s
Windows Windows #2139: Scheduled
January 18, 2025 01:41 6h 0m 26s main
main
January 18, 2025 01:41 6h 0m 26s
TEST: run only Windows CI for Windows CI stability test Windows #2138: Pull request #461 synchronize by MSoegtropIMC
January 17, 2025 15:25 2h 37m 59s MSoegtropIMC:ci-stability-test
MSoegtropIMC:ci-stability-test
January 17, 2025 15:25 2h 37m 59s
TEST: run only Windows CI for Windows CI stability test Windows #2137: Pull request #461 synchronize by MSoegtropIMC
January 17, 2025 08:19 2h 44m 36s MSoegtropIMC:ci-stability-test
MSoegtropIMC:ci-stability-test
January 17, 2025 08:19 2h 44m 36s
Windows Windows #2136: Scheduled
January 17, 2025 01:43 2h 29m 43s main
main
January 17, 2025 01:43 2h 29m 43s
TEST: run only Windows CI for Windows CI stability test Windows #2135: Pull request #461 opened by MSoegtropIMC
January 16, 2025 17:27 2h 45m 36s MSoegtropIMC:ci-stability-test
MSoegtropIMC:ci-stability-test
January 16, 2025 17:27 2h 45m 36s
Merge pull request #459 from MSoegtropIMC/cygwin-test-release-2 Windows #2134: Commit 93afd1d pushed by MSoegtropIMC
January 16, 2025 13:48 3h 6m 49s main
main
January 16, 2025 13:48 3h 6m 49s
More rocqide renaming Windows #2133: Pull request #460 opened by SkySkimmer
January 16, 2025 13:06 21m 19s rocqide
rocqide
January 16, 2025 13:06 21m 19s
Temporarily allow test version of cygwin (should fix hangs) Windows #2132: Pull request #459 opened by MSoegtropIMC
January 16, 2025 11:08 2h 42m 14s MSoegtropIMC:cygwin-test-release-2
MSoegtropIMC:cygwin-test-release-2
January 16, 2025 11:08 2h 42m 14s
Temporarily allow test version of cygwin (should fix hangs) Windows #2131: Pull request #458 opened by MSoegtropIMC
January 16, 2025 11:05 20m 47s MSoegtropIMC:cygwin-test-release
MSoegtropIMC:cygwin-test-release
January 16, 2025 11:05 20m 47s
Windows Windows #2130: Scheduled
January 16, 2025 01:44 6h 0m 28s main
main
January 16, 2025 01:44 6h 0m 28s
Renaming coqide -> rocqide Windows #2129: Pull request #457 opened by proux01
January 15, 2025 15:33 38m 37s proux01:coqide_ico
proux01:coqide_ico
January 15, 2025 15:33 38m 37s
Adapt to /~https://github.com/coq/coq/pull/20036 Windows #2128: Pull request #456 synchronize by proux01
January 15, 2025 07:37 33m 44s proux01:coq_20036
proux01:coq_20036
January 15, 2025 07:37 33m 44s
Windows Windows #2127: Scheduled
January 15, 2025 01:44 47s main
main
January 15, 2025 01:44 47s
Adapt to /~https://github.com/coq/coq/pull/20036 Windows #2126: Pull request #456 opened by proux01
January 14, 2025 13:55 6h 0m 31s proux01:coq_20036
proux01:coq_20036
January 14, 2025 13:55 6h 0m 31s
Windows Windows #2125: Scheduled
January 14, 2025 01:42 6h 0m 27s main
main
January 14, 2025 01:42 6h 0m 27s
Windows Windows #2124: Scheduled
January 13, 2025 01:52 2h 43m 34s main
main
January 13, 2025 01:52 2h 43m 34s
Windows Windows #2123: Scheduled
January 12, 2025 01:56 6h 0m 27s main
main
January 12, 2025 01:56 6h 0m 27s
Windows Windows #2122: Scheduled
January 11, 2025 01:47 2h 47m 18s main
main
January 11, 2025 01:47 2h 47m 18s
Windows Windows #2121: Scheduled
January 10, 2025 01:49 6h 0m 30s main
main
January 10, 2025 01:49 6h 0m 30s
Windows Windows #2120: Scheduled
January 9, 2025 02:19 6h 0m 27s main
main
January 9, 2025 02:19 6h 0m 27s
Windows Windows #2119: Scheduled
January 8, 2025 01:47 6h 0m 31s main
main
January 8, 2025 01:47 6h 0m 31s