Skip to content

Add a pick for 8.19.2 with the Ltac2 debugger (preview) #2003

Add a pick for 8.19.2 with the Ltac2 debugger (preview)

Add a pick for 8.19.2 with the Ltac2 debugger (preview) #2003

Triggered via pull request November 18, 2024 18:25
Status Success
Total duration 2h 48m 19s
Artifacts 8

ubuntu.yml

on: pull_request
Matrix: Ubuntu
Fit to window
Zoom out
Zoom in

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.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.19~2024.10 Expired
9.4 MB