Skip to content
Lean 4 Playground

Back to colon and CamelCase #92

Sign in to view logs

Back to colon and CamelCase

Back to colon and CamelCase #92

Triggered via push December 12, 2023 10:03
@utensilutensil
pushed ba2876c
master
Status Failure
Total duration 1m 28s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Examples
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

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