Skip to content
Snippets Groups Projects

Change default value for user_configuration

Passed
Erwan Rouchet created pipeline for commit 83de8bf9
, finished
1 related merge request: !126 Change default value for user_configuration
branch
4 jobs 2 minutes 48 seconds, queued for 9 seconds