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/

Corrected spelling and replaced "failwith" by "assert false".

3 jobs for 3-compute-the-graph-degree-diameter-etc in 9 minutes and 42 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #86584
test

00:09:28

 
  Deploy
passed #86585
pages

00:00:13

passed pages:deploy

00:00:00