diff --git a/dodona-tested.dockerfile b/dodona-tested.dockerfile index f0ceeb8..74a6c2b 100644 --- a/dodona-tested.dockerfile +++ b/dodona-tested.dockerfile @@ -68,6 +68,15 @@ RUN <