envenv2

meisterT · meisterT · commit a2995b56d474 · 2024-08-03T15:20:35.000+02:00
diff --git a/.github/workflows/runpipe.yml b/.github/workflows/runpipe.yml
@@ -37,7 +37,7 @@ jobs:
       - name: Run the actual runguard tests
         working-directory: judge/runguard_test
         env:
-          judgehost_tmpdir=/tmp
-          judgehost_judgedir=/tmp
+          judgehost_tmpdir: /tmp
+          judgehost_judgedir: /tmp
         run: make test
 
