Skip to content
Lean 4 CI

Minimal working Verso #239

Sign in to view logs

Minimal working Verso

Minimal working Verso #239

Triggered via push October 27, 2024 09:26
@utensilutensil
pushed 04daf7a
main
Status Failure
Total duration 1m 24s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Projects
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Lean 4 Projects (ubuntu-latest)
Process completed with exit code 1.
Lean 4 Projects (macos-latest)
Process completed with exit code 1.
Lean 4 Projects (windows-latest)
Process completed with exit code 1.