Skip to content
Lean Action CI

WIP: Refactor projection theorems #9

Sign in to view logs

WIP: Refactor projection theorems

WIP: Refactor projection theorems #9

Triggered via push August 30, 2024 22:12
@GuiBrandtGuiBrandt
pushed 74a5935
main
Status Success
Total duration 1m 33s
Artifacts –

lean_action_ci.yml

on: push
build
1m 24s
build
Fit to window
Zoom out
Zoom in