Skip to content
.github/workflows/lean_build.yml

ch4 second proof, latex and widget (#71) #260

Sign in to view logs

ch4 second proof, latex and widget (#71)

ch4 second proof, latex and widget (#71) #260

Triggered via push October 20, 2024 18:48
@mo271mo271
pushed edf4ad9
main
Status Success
Total duration 2m 4s
Artifacts –

lean_build.yml

on: push
Build project
1m 54s
Build project
Fit to window
Zoom out
Zoom in