Merge branch 'django' of https://gitlab.inria.fr/allgo/allgo into django

3 jobs for django in 2 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
failed #958411
allgo
bootstrap

00:00:02

 
  Test
skipped #958412
allowed to fail
django_pylint
 
  Cleanning
failed #958413
nettoyage

00:00:00

 
Name Stage Failure
failed
bootstrap Build
Running with gitlab-runner 12.7.1 (003fe500)
on gitlab-runner for allgo project. GsVG3gec
Using Shell executor...
Running on gitlabrunner...
bash: line 15: echo: write error: No space left on device
bash: line 15: echo: write error: No space left on device
ERROR: Job failed: exit status 1
failed
nettoyage Cleanning
Running with gitlab-runner 12.7.1 (003fe500)
on gitlab-runner for allgo project. GsVG3gec
Using Shell executor...
Running on gitlabrunner...
bash: line 15: echo: write error: No space left on device
bash: line 15: echo: write error: No space left on device
ERROR: Job failed: exit status 1