Merge pull request #199 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
03ebc240
, finished
For devel
1 minute 23 seconds, queued for 2 seconds