Merge pull request #200 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
2737d046
, finished
For devel
6 minutes 24 seconds, queued for 3 seconds