Skip to content
Lean Action CI

Move polyhedron projection to its own file #7

Sign in to view logs

Move polyhedron projection to its own file

Move polyhedron projection to its own file #7

Triggered via push August 30, 2024 14:45
@GuiBrandtGuiBrandt
pushed 1f8bb04
main
Status Success
Total duration 1m 42s
Artifacts –

lean_action_ci.yml

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