CI of mc_rtc_ros

Merge pull request #35 from jrl-umi3218/pre-commit-ci-update-config #134

Sign in to view logs

Triggered via push November 7, 2023 05:50

gergondet

master

Status Success

Total duration 17m 51s

Artifacts –

build.yml

on: push

Matrix: build