Skip to content
ci

Update Euclidean.lean #323

Sign in to view logs

Update Euclidean.lean

Update Euclidean.lean #323

Triggered via push September 25, 2024 15:45
@Vtec234Vtec234
pushed f152c32
main
Status Success
Total duration 3m 33s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in