return back setting TMPDIR=/tmp in shell.nix, as a possible explanation

of CI errors
tweag · Jul 4, 2022 · 0847f70 · 0847f70
1 parent 5afcad3
commit 0847f70
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/shell.nix b/shell.nix
@@ -7,6 +7,7 @@ mkShell {
   # will be catched earlier
   # See: https://github.com/bazelbuild/bazel/issues/4231
   BAZEL_USE_CPP_ONLY_TOOLCHAIN=1;
+  TMPDIR=/tmp;
 
   # Set UTF-8 local so that run-tests can parse GHC's unicode output.
   LANG="C.UTF-8";