Skip to content

Merge branch 'fixUpdateGripper20231204' of https://github.com/rdianko… #42

Merge branch 'fixUpdateGripper20231204' of https://github.com/rdianko…

Merge branch 'fixUpdateGripper20231204' of https://github.com/rdianko… #42

Triggered via push December 12, 2023 09:01
Status Success
Total duration 14m 28s
Artifacts

ci.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in