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 22s
Artifacts

pre-commit-optional.yaml

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

Annotations

1 error
pre-commit-optional
The run was canceled by @github-actions[bot].