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/

Fix the lutin manual build process

2 jobs for master in 2 minutes and 48 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #5074
build

00:02:48

 
  Test
skipped #5075
test_opam_test
 
Name Stage Failure
failed
build Build There is an unknown failure, please try again
mkdir objs
lutin -help > objs/lutin.tex
/bin/sh: 1: lutin: not found
Makefile:32: recipe for target 'objs/lutin.tex' failed
make[1]: Leaving directory '/builds/verimag/synchrone/lutin/doc/lutin-man'
make[1]: *** [objs/lutin.tex] Error 127
make: *** [man] Error 2
Makefile:35: recipe for target 'man' failed
ERROR: Job failed: exit code 1