Skip to content
Snippets Groups Projects

Merge branch 'develop'

Passed
Ernesto Rico Schmidt created pipeline for commit ed04841e
, finished
For main
branch
3 jobs 11 minutes 33 seconds, queued for 3 seconds