Merge pull request #188 from Gepetto/pre-commit-ci-update-config
Passed
Guilhem Saurel
created pipeline for commit
e3f754ea
, finished
For devel
1 minute 46 seconds, queued for 3 seconds