fix

1 job for master in 1 second (queued for 1 minute and 34 seconds)
Status Job ID Name Coverage
  Deploy
failed #947245
deploy

00:00:01

 
Name Stage Failure
failed
deploy Deploy
Suppression de tests/Makefile.in
Suppression de tests/model-checking/Makefile.in
Suppression de tools/Makefile.in
Skipping Git submodules setup
Executing "step_script" stage of the job script
$ ./contrib/gitlab/deploy.sh
./contrib/gitlab/deploy.sh: 18: ./contrib/gitlab/deploy.sh: ./contrib/ci.inria.fr/job-1-check.sh: Permission denied
Cleaning up file based variables
ERROR: Job failed: exit status 1