Skip to content

chore(ground_segmentation): change parameter name #578

chore(ground_segmentation): change parameter name

chore(ground_segmentation): change parameter name #578

Triggered via pull request April 4, 2024 17:01
Status Cancelled
Total duration 24s
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].