Skip to content

chore(ground_segmentation): change parameter name #576

chore(ground_segmentation): change parameter name

chore(ground_segmentation): change parameter name #576

Triggered via pull request April 4, 2024 17:00
Status Cancelled
Total duration 25s
Artifacts
spell-check-differential
16s
spell-check-differential
Fit to window
Zoom out
Zoom in

Annotations

1 error
spell-check-differential
The run was canceled by @github-actions[bot].