Merge pull request #141 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
74574b3e
, finished
For devel
4 minutes 28 seconds, queued for 42 seconds