Merge pull request #219 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
d62bea60
, finished
For devel
2 minutes 42 seconds, queued for 1 seconds