Skip to content

Merge branch 'main' into cell-centered-metric #120

Merge branch 'main' into cell-centered-metric

Merge branch 'main' into cell-centered-metric #120

Triggered via push October 18, 2023 19:02
Status Success
Total duration 46m 2s
Artifacts

ci.yml

on: push
Matrix: download-build-test
Fit to window
Zoom out
Zoom in