Merge pull request #191 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
15232c05
, finished
For devel
1 minute 34 seconds, queued for 1 seconds