Docker images should be cleaned up
Description
For each Docker-enabled assignment, AuTA creates a Docker image from the configured Dockerfile and a local COPY command supplying the assignment's files. Once the container has finished running, the container is cleaned up, but the image isn't. It's small (about the size of the submission), but still takes up space.
Priority
Medium – the images are quite small, but given enough submissions the space starts to add up.
Definition of done
The Docker runner deletes images once the container has finished running.
Edited by Luc Everse