Merge pull request #8 from dotysan/cirrus-tmpbug

Workaround bug in Cirrus /tmp filesystem
HariSekhon · Oct 15, 2023 · 0083133 · 0083133
2 parents 736b681 + 9f373c0
commit 0083133
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -23,8 +23,8 @@ container:
   image: ubuntu:18.04
 
 task:
-  # doesn't work properly
-  #skip: "!changesInclude('**/*.md')"
+  env:
+    TMPDIR: /var/tmp
   script:
     - setup/ci_bootstrap.sh
     - make init