Skip to content

Rename old_root to depth_based_root #259

Rename old_root to depth_based_root

Rename old_root to depth_based_root #259

Triggered via push August 24, 2024 01:58
Status Success
Total duration 34m 38s
Artifacts

ci.yaml

on: push
Fit to window
Zoom out
Zoom in