Add a memory limit to Docker containers
Description
Adds a memory limit 4 GiB to Docker containers.
Changes
N/A
Additions
- Allocate at most 4 GiB of RAM (including swap) to a Docker container
- Set the name of the docker image to the submission ID for easier identification
Test and Review
To be filled in by the reviewers
-
All of the methods are commented to expectation -
The methods are tested to satisfaction -
There are no unnecessary files present in the MR -
The continuous integration has no problems with the MR -
The MR is filled in as requested (including labels, milestones, and reviewers) -
The documentation is up-to-date -
All nullable parameters are marked as such
Edited by Luc Everse