Skip to content

chore(ground_segmentation): change parameter name #604

chore(ground_segmentation): change parameter name

chore(ground_segmentation): change parameter name #604

Triggered via pull request April 4, 2024 17:00
Status Skipped
Total duration 3s
Artifacts

pre-commit.yaml

on: pull_request
pre-commit
0s
pre-commit
Fit to window
Zoom out
Zoom in