Merge branch 'master' of https://github.com/leanprover-community/flt-…

…regular
leanprover-community · Jul 23, 2024 · fa4a7fb · fa4a7fb
2 parents b55df8b + 29b3402
commit fa4a7fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -43,7 +43,7 @@ jobs:
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0
 
       - name: Get cache
-        run: ~/.elan/bin/lake -Kenv=dev exe cache get
+        run: ~/.elan/bin/lake exe cache get || true
 
       - name: Build project
         run: ~/.elan/bin/lake -R -Kenv=dev build FltRegular