Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #1975
Triggered via pull request
October 3, 2024 12:44
MSoegtropIMC
Status
Success
Total duration
2h 53m 50s
Artifacts
8
windows.yml
on: pull_request
Matrix: Windows
Matrix: Smoke test Windows
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Smoke Test Kit Windows 8.17~2023.08 64
Expired
|
269 KB |
|
|
Smoke Test Kit Windows 8.18~2023.11 64
Expired
|
271 KB |
|
|
Smoke Test Kit Windows 8.18~mc2 64
Expired
|
266 KB |
|
|
Smoke Test Kit Windows 8.19~2024.01+beta1 64
Expired
|
269 KB |
|
|
Windows installer 8.17~2023.08 64
Expired
|
402 MB |
|
|
Windows installer 8.18~2023.11 64
Expired
|
470 MB |
|
|
Windows installer 8.18~mc2 64
Expired
|
462 MB |
|
|
Windows installer 8.19~2024.01+beta1 64
Expired
|
498 MB |
|