Merge pull request #435 from MSoegtropIMC/windows-fix-coqdep #1936

Sign in to view logs

Triggered via push October 7, 2024 07:18

main

Status Success

Total duration 2h 44m 56s

Artifacts 10

ubuntu.yml

on: push

Matrix: Ubuntu

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