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 5 minutes and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #242889
build

00:05:09

 
  Test
skipped #242890
test_opam_test
 
Name Stage Failure
failed
build Build
W: Failure("Command ''/home/opam/.opam/4.12/bin/ocamlfind' query -format %d rdbg-plugin > '/tmp/oasis-2ef324.txt'' terminated with error code 2")
ocamlfind: Package `camlp4' not found
W: Failure("Command ''/home/opam/.opam/4.12/bin/ocamlfind' query -format %d camlp4 > '/tmp/oasis-4dd0be.txt'' terminated with error code 2")
E: Cannot find findlib package camlp4
E: Cannot find findlib package rdbg-plugin (>= 1.177)
E: Failure("2 configuration errors")
make: *** [Makefile:25: configure] Error 1
Cleaning up file based variables
ERROR: Job failed: exit code 1