Merge pull request #19 from humanoid-path-planner/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
1728ad87
, finished
For devel
3 minutes 13 seconds, queued for 2 seconds