merge

1 job for master in 5 minutes and 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Check
failed #947435
check

00:05:32

 
Name Stage Failure
failed
check Check
make[1] : on entre dans le répertoire « /home/gitlab-runner/builds/GUCSqGGY/0/furmento/starpu/build »
test -z "*.gcno *.gcda *.linkinfo" || rm -f *.gcno *.gcda *.linkinfo
rm -rf .libs _libs
rm -f *.lo
make[1] : on quitte le répertoire « /home/gitlab-runner/builds/GUCSqGGY/0/furmento/starpu/build »
$ ./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