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 #1979: Scheduled
October 6, 2024 01:53 2h 37m 0s main
main
October 6, 2024 01:53 2h 37m 0s
Windows Windows #1978: Scheduled
October 5, 2024 01:45 2h 40m 35s main
main
October 5, 2024 01:45 2h 40m 35s
Windows Windows #1977: Scheduled
October 4, 2024 01:46 2h 58m 22s main
main
October 4, 2024 01:46 2h 58m 22s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Windows #1976: Pull request #435 opened by MSoegtropIMC
October 3, 2024 13:12 2h 47m 20s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 13:12 2h 47m 20s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Windows #1975: Pull request #434 opened by MSoegtropIMC
October 3, 2024 12:44 2h 53m 50s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 12:44 2h 53m 50s
Windows Windows #1974: Scheduled
October 3, 2024 01:46 2h 50m 31s main
main
October 3, 2024 01:46 2h 50m 31s
Windows Windows #1973: Scheduled
October 2, 2024 01:46 2h 44m 3s main
main
October 2, 2024 01:46 2h 44m 3s
Windows Windows #1972: Scheduled
October 1, 2024 01:55 2h 47m 1s main
main
October 1, 2024 01:55 2h 47m 1s
Merge pull request #433 from Yewzir/patch-1 Windows #1971: Commit 4205af8 pushed by MSoegtropIMC
September 30, 2024 07:46 2h 52m 22s main
main
September 30, 2024 07:46 2h 52m 22s
Windows Windows #1970: Scheduled
September 30, 2024 01:50 2h 38m 5s main
main
September 30, 2024 01:50 2h 38m 5s
Fix typo Windows #1969: Pull request #433 opened by Yewzir
September 29, 2024 21:42 2h 41m 56s Yewzir:patch-1
Yewzir:patch-1
September 29, 2024 21:42 2h 41m 56s
Windows Windows #1968: Scheduled
September 29, 2024 01:53 2h 45m 47s main
main
September 29, 2024 01:53 2h 45m 47s
Windows Windows #1967: Scheduled
September 28, 2024 01:45 2h 41m 21s main
main
September 28, 2024 01:45 2h 41m 21s
Windows Windows #1966: Scheduled
September 27, 2024 01:46 2h 51m 4s main
main
September 27, 2024 01:46 2h 51m 4s
Windows Windows #1965: Scheduled
September 26, 2024 01:45 2h 47m 46s main
main
September 26, 2024 01:45 2h 47m 46s
Windows Windows #1964: Scheduled
September 25, 2024 01:47 2h 51m 0s main
main
September 25, 2024 01:47 2h 51m 0s
Windows Windows #1963: Scheduled
September 24, 2024 01:46 2h 29m 55s main
main
September 24, 2024 01:46 2h 29m 55s
Windows Windows #1962: Scheduled
September 23, 2024 01:46 2h 32m 29s main
main
September 23, 2024 01:46 2h 32m 29s
Windows Windows #1961: Scheduled
September 22, 2024 01:52 2h 46m 47s main
main
September 22, 2024 01:52 2h 46m 47s
Windows Windows #1960: Scheduled
September 21, 2024 01:41 2h 44m 26s main
main
September 21, 2024 01:41 2h 44m 26s
Windows Windows #1959: Scheduled
September 20, 2024 01:43 2h 44m 13s main
main
September 20, 2024 01:43 2h 44m 13s
Windows Windows #1958: Scheduled
September 19, 2024 01:44 2h 58m 36s main
main
September 19, 2024 01:44 2h 58m 36s
Windows Windows #1957: Scheduled
September 18, 2024 01:42 2h 41m 49s main
main
September 18, 2024 01:42 2h 41m 49s
[2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build Windows #1956: Pull request #427 synchronize by ejgallego
September 17, 2024 09:28 24m 19s ejgallego:coq_lsp_8_20
ejgallego:coq_lsp_8_20
September 17, 2024 09:28 24m 19s
Merge pull request #431 from MSoegtropIMC/windows-package-fixes Windows #1955: Commit ff62d7a pushed by MSoegtropIMC
September 17, 2024 07:29 2h 37m 5s main
main
September 17, 2024 07:29 2h 37m 5s