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/

Don't fail if the doc cannot be build

2 jobs for master in 5 minutes and 40 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #5077
build

00:02:54

 
  Test
passed #5078
test_opam_test

00:02:46