Merge pull request #42 from humanoid-path-planner/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
8863e3e6
, finished
For devel
6 minutes 43 seconds, queued for 2 seconds