envenv2

meisterT · Jun 6, 2024 · 1ae50ca · 1ae50ca
1 parent 392d55d
commit 1ae50ca
Showing 1 changed file with 2 additions and 2 deletions.
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