Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lutin

2 jobs for 1.0.0 in 8 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #60861
build

00:04:42

 
  Test
passed #60862
test_opam_test

00:03:53