Skip to content
Lean 4 Playground

Still not true #96

Sign in to view logs

Still not true

Still not true #96

Triggered via push December 15, 2023 06:19
@utensilutensil
pushed e0217cc
master
Status Success
Total duration 7m 53s
Artifacts –

lean4.yml

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