Cleaning ci
- Get rid of the
setrlimit(RLIMIT_CORE): Operation not permitted
warning with Debian. - Run
docker system prune
at.post
stage to keep docker directory clean
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
setrlimit(RLIMIT_CORE): Operation not permitted
warning with Debian.docker system prune
at .post
stage to keep docker directory clean