Skip to content
Lean 4 Playground

Only update Github Pages for Ubuntu #94

Sign in to view logs

Only update Github Pages for Ubuntu

Only update Github Pages for Ubuntu #94

Triggered via push December 12, 2023 15:19
@utensilutensil
pushed 3bdf680
master
Status Success
Total duration 8m 47s
Artifacts –

lean4.yml

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