Skip to content
Lean 4 Playground

Code clean up #81

Sign in to view logs

Code clean up

Code clean up #81

Triggered via push December 9, 2023 15:56
@utensilutensil
pushed a852f3a
master
Status Failure
Total duration 1m 41s
Artifacts –

lean4.yml

on: push
Lean 4 Examples
1m 31s
Lean 4 Examples
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lean 4 Examples
Process completed with exit code 1.