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/

Trt to fix the opam package by undoing previous changes

3 jobs for master in 8 minutes and 44 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #5023
build

00:03:17

 
  Test
passed #5024
test_opam_test

00:02:43

passed #5025
xxx

00:02:44