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/

Commit c088f4a4 authored by David Monniaux's avatar David Monniaux
Browse files

pruning the image

parent 199a566d
FROM compcert_kvx
USER root
RUN apt -y remove opam && apt -y autoremove
RUN rm -rf /home/appuser/.opam /home/appuser/CompCert
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment