Skip to content
vscode-lean4 build

Release 0.0.182 #2548

Sign in to view logs

Release 0.0.182

Release 0.0.182 #2548

Triggered via push October 17, 2024 23:19
@Vtec234Vtec234
pushed 4f38951
master
Status Cancelled
Total duration 1m 54s
Artifacts –

on-push.yml

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

Annotations

4 errors
Windows
The run was canceled by @Vtec234.
Windows
The operation was canceled.
Linux
The run was canceled by @Vtec234.
Linux
The operation was canceled.