Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #1930
Triggered via pull request
October 3, 2024 12:44
MSoegtropIMC
Status
Success
Total duration
2h 42m 52s
Artifacts
10
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Smoke Test Kit 8.12
Expired
|
5.87 MB |
|
|
Smoke Test Kit 8.13~2021.02
Expired
|
5.43 MB |
|
|
Smoke Test Kit 8.14~2022.01
Expired
|
7.68 MB |
|
|
Smoke Test Kit 8.15~2022.04
Expired
|
8.26 MB |
|
|
Smoke Test Kit 8.15~2022.09
Expired
|
8.78 MB |
|
|
Smoke Test Kit 8.16~2022.09
Expired
|
8.76 MB |
|
|
Smoke Test Kit 8.17~2023.08
Expired
|
8.72 MB |
|
|
Smoke Test Kit 8.18~2023.11
Expired
|
8.22 MB |
|
|
Smoke Test Kit 8.18~mc2
Expired
|
8.9 MB |
|
|
Smoke Test Kit 8.19~2024.01+beta1
Expired
|
9.42 MB |
|