Gitlab-CI badge

1 job for master
in 9 minutes and 50 seconds, using 0.0 compute credits, and was queued for 3 minutes and 39 seconds