Skip to content
GitLab

Merge branch 'develop-ci-badges' into 'master' 

Develop ci badges

See merge request !6
1 job for master
in 1 minute and 15 seconds, using 0 compute credits, and was queued for 2 seconds
3950d570
1 related merge request: !9 Master