From cd8187797efd208e1c94b1a98ab1c3c057d8a52a Mon Sep 17 00:00:00 2001 From: dodona-server Date: Tue, 26 Nov 2024 12:26:28 +0000 Subject: [PATCH] Chore: update dodona-tested dockerfile --- dodona-tested.dockerfile | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) 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 <