Skip to content

.github: mark ros push on master as latest not edge #152

.github: mark ros push on master as latest not edge

.github: mark ros push on master as latest not edge #152

Triggered via push November 28, 2023 08:33
Status Success
Total duration 54s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ros_nightly.yml

on: push
build-ros
19s
build-ros
Fit to window
Zoom out
Zoom in