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/

Do not generate the opam file with aosis2opam anymore

2 jobs for master in 10 minutes and 57 seconds
Status Job ID Name Coverage
  Build
passed #25036
build

00:05:03

 
  Test
passed #25037
test_opam_test

00:05:53