Skip to content

vscode-lean4 build #2547

vscode-lean4 build

vscode-lean4 build #2547

Triggered via push October 17, 2024 23:18
Status Cancelled
Total duration 2m 37s
Artifacts 1

on-push.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Windows
The run was canceled by @Vtec234.
Windows
The operation was canceled.
Linux
The run was canceled by @Vtec234.
Linux
Process completed with exit code 1.
Linux
The operation was canceled.

Artifacts

Produced during runtime
Name Size
vscode-lean4
4.46 MB