Merge pull request #220 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
1d5aa183
, finished
For devel
5 minutes 55 seconds, queued for 3 seconds