Remove WORKSPACE_TMP workaround

distributed-system-analysis · May 15, 2023 · 73113c8 · 73113c8
1 parent 6ca0e9f
commit 73113c8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/jenkins/run-server-func-tests b/jenkins/run-server-func-tests
@@ -131,7 +131,6 @@ else
         KEEP_DATASETS="keep"
     fi
     EXTRA_PODMAN_SWITCHES="${EXTRA_PODMAN_SWITCHES} --network host" \
-    WORKSPACE_TMP=${WORKSPACE_TMP:-${HOME}} \
         jenkins/run tox -e py39 -- server functional ${SERVER_URL} ${KEEP_DATASETS}
     exit_status=${?}
 fi