Merge pull request #181 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
9302559b
, finished
For devel
1 minute 4 seconds, queued for 1 seconds