diff --git a/.devcontainer/dodona-tested.dockerfile b/.devcontainer/dodona-tested.dockerfile index abfc3f14..a38844ac 100644 --- a/.devcontainer/dodona-tested.dockerfile +++ b/.devcontainer/dodona-tested.dockerfile @@ -65,6 +65,17 @@ RUN <