Skip to content
Build

Build Lean4monaco #29

Sign in to view logs

Build Lean4monaco

Build Lean4monaco #29

Triggered via push August 23, 2024 21:01
@joneugsterjoneugster
pushed 1124aae
main
Status Cancelled
Total duration 58s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Windows
The run was canceled by @joneugster.
Windows
The operation was canceled.
Linux
The run was canceled by @joneugster.
Linux
The operation was canceled.
macOS
The run was canceled by @joneugster.
macOS
The operation was canceled.