Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
755 workflow runs
755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2109: Scheduled
December 29, 2024 01:55 6h 0m 29s main
main
December 29, 2024 01:55 6h 0m 29s
Windows Windows #2108: Scheduled
December 28, 2024 01:44 6h 0m 31s main
main
December 28, 2024 01:44 6h 0m 31s
Windows Windows #2107: Scheduled
December 27, 2024 01:47 6h 0m 27s main
main
December 27, 2024 01:47 6h 0m 27s
Windows Windows #2106: Scheduled
December 26, 2024 01:46 6h 0m 34s main
main
December 26, 2024 01:46 6h 0m 34s
Windows Windows #2105: Scheduled
December 25, 2024 01:45 6h 0m 29s main
main
December 25, 2024 01:45 6h 0m 29s
Windows Windows #2104: Scheduled
December 24, 2024 01:47 2h 37m 2s main
main
December 24, 2024 01:47 2h 37m 2s
Windows Windows #2103: Scheduled
December 23, 2024 01:49 2h 45m 52s main
main
December 23, 2024 01:49 2h 45m 52s
Windows Windows #2102: Scheduled
December 22, 2024 01:54 6h 0m 30s main
main
December 22, 2024 01:54 6h 0m 30s
Windows Windows #2101: Scheduled
December 21, 2024 01:45 6h 0m 31s main
main
December 21, 2024 01:45 6h 0m 31s
Merge pull request #454 from MSoegtropIMC/2025.01-prep-6 Windows #2100: Commit 972dbc8 pushed by MSoegtropIMC
December 20, 2024 16:42 6h 0m 32s main
main
December 20, 2024 16:42 6h 0m 32s
2025.01 prep 6 Windows #2099: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 13:44 2h 46m 3s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 13:44 2h 46m 3s
2025.01 prep 6 Windows #2098: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 09:37 2h 40m 47s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:37 2h 40m 47s
2025.01 prep 6 Windows #2097: Pull request #454 opened by MSoegtropIMC
December 20, 2024 09:19 17m 18s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:19 17m 18s
Windows Windows #2096: Scheduled
December 20, 2024 01:47 2h 45m 21s main
main
December 20, 2024 01:47 2h 45m 21s
Windows Windows #2095: Scheduled
December 19, 2024 01:53 2h 53m 35s main
main
December 19, 2024 01:53 2h 53m 35s
Windows Windows #2094: Scheduled
December 18, 2024 01:52 2h 59m 56s main
main
December 18, 2024 01:52 2h 59m 56s
Merge pull request #453 from MSoegtropIMC/2025.01-prep-5 Windows #2093: Commit cfaa14b pushed by MSoegtropIMC
December 17, 2024 07:17 2h 41m 1s main
main
December 17, 2024 07:17 2h 41m 1s
Windows Windows #2092: Scheduled
December 17, 2024 01:56 2h 45m 11s main
main
December 17, 2024 01:56 2h 45m 11s
2025.01 prep 5 Windows #2091: Pull request #453 opened by MSoegtropIMC
December 16, 2024 18:20 2h 38m 57s MSoegtropIMC:2025.01-prep-5
MSoegtropIMC:2025.01-prep-5
December 16, 2024 18:20 2h 38m 57s
Windows Windows #2090: Scheduled
December 16, 2024 02:00 3h 0m 56s main
main
December 16, 2024 02:00 3h 0m 56s
Windows Windows #2089: Scheduled
December 15, 2024 02:03 2h 41m 27s main
main
December 15, 2024 02:03 2h 41m 27s
Windows Windows #2088: Scheduled
December 14, 2024 01:53 2h 43m 37s main
main
December 14, 2024 01:53 2h 43m 37s
Windows Windows #2087: Scheduled
December 13, 2024 01:58 3h 30m 18s main
main
December 13, 2024 01:58 3h 30m 18s
Windows Windows #2086: Scheduled
December 12, 2024 01:56 2h 44m 13s main
main
December 12, 2024 01:56 2h 44m 13s
Windows Windows #2085: Scheduled
December 11, 2024 01:56 2h 42m 34s main
main
December 11, 2024 01:56 2h 42m 34s