Skip to content

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

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

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

Triggered via pull request November 18, 2024 17:38
Status Cancelled
Total duration 34m 36s
Artifacts

windows.yml

on: pull_request
Matrix: Windows
Matrix: Smoke test Windows
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Windows (64, 8.19~2024.10)
The run was canceled by @MSoegtropIMC.
Windows (64, 8.19~2024.10)
The operation was canceled.
Windows (64, 8.18~2023.11)
The run was canceled by @MSoegtropIMC.
Windows (64, 8.18~2023.11)
The operation was canceled.