Skip to content
Lean 4 Playground

Stash #95

Sign in to view logs

Stash

Stash #95

Triggered via push December 15, 2023 06:04
@utensilutensil
pushed 34f50bb
master
Status Success
Total duration 12m 17s
Artifacts –

lean4.yml

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