Skip to content

chore(docker): remove duplicate ARG ROS_DISTRO #1056

chore(docker): remove duplicate ARG ROS_DISTRO

chore(docker): remove duplicate ARG ROS_DISTRO #1056

Triggered via pull request April 23, 2024 04:00
Status Cancelled
Total duration 1m 16s
Artifacts

setup-universe.yaml

on: pull_request
setup-universe
1m 9s
setup-universe
Fit to window
Zoom out
Zoom in

Annotations

2 errors
setup-universe
The run was canceled by @github-actions[bot].
setup-universe
The operation was canceled.