Skip to content
Lean 4 Playground

Further clean up for golf #103

Sign in to view logs

Further clean up for golf

Further clean up for golf #103

Triggered via push December 16, 2023 09:58
@utensilutensil
pushed 4178473
master
Status Success
Total duration 7m 27s
Artifacts –

lean4.yml

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