Skip to content
Lean Action CI

Trying to prove contMDiffOn_continuousAlternatingMapCoordChange #87

Sign in to view logs

Trying to prove contMDiffOn_continuousAlternatingMapCoordChange

Trying to prove contMDiffOn_continuousAlternatingMapCoordChange #87

Triggered via push February 4, 2025 15:36
@MetalCreator666MetalCreator666
pushed 7b0506b
SL-setup-lift-to-manifolds
Status Success
Total duration 1m 27s
Artifacts –

lean_action_ci.yml

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