Skip to content
Build

Build Lean4monaco #32

Sign in to view logs

Build Lean4monaco

Build Lean4monaco #32

Triggered via push August 23, 2024 21:21
@joneugsterjoneugster
pushed 88ead4d
main
Status Failure
Total duration 4m 1s
Artifacts –

build.yml

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

Annotations

1 error
Windows
Process completed with exit code 1.