Skip to content
Snippets Groups Projects

Merge pull request #51 from humanoid-path-planner/pre-commit-ci-update-config

Failed
Guilhem Saurel created pipeline for commit 65ee4146
, finished
For devel
2 minutes 23 seconds, queued for 1 seconds