Merge pull request #411 from rtetley/package-updates · coq/platform@8ea5c21

Triggered via push October 11, 2024 13:01

main

Status Success

Total duration 3h 5m 36s

Artifacts 8

windows.yml

on: push

Matrix: Windows

Matrix: Smoke test Windows

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	268 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