Skip to content
Build

Build Lean4monaco #28

Sign in to view logs

Build Lean4monaco

Build Lean4monaco #28

Triggered via push August 23, 2024 21:00
@joneugsterjoneugster
pushed ed5a2a4
main
Status Cancelled
Total duration 1m 35s
Artifacts –

build.yml

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

Annotations

6 errors
Linux
'ev' is declared but its value is never read.
Linux
Process completed with exit code 1.
macOS
'ev' is declared but its value is never read.
macOS
Process completed with exit code 1.
Windows
The run was canceled by @joneugster.
Windows
The operation was canceled.