Do not cache

until DeterminateSystems/magic-nix-cache#39 is resolved.
leanprover · Dec 8, 2023 · 2e828b2 · 2e828b2
1 parent ec3c09d
commit 2e828b2
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/update-stage0.yml b/.github/workflows/update-stage0.yml
@@ -33,8 +33,11 @@ jobs:
           git config --global user.email "<>"
     - if: env.DOIT == 'yes'
       uses: DeterminateSystems/nix-installer-action@main
-    - if: env.DOIT == 'yes'
-      uses: DeterminateSystems/magic-nix-cache-action@v2
+    # Would be nice, but does not work yet:
+    # https://github.com/DeterminateSystems/magic-nix-cache/issues/39
+    # This action does not run that often and building runs in a few minutes, so ok for now
+    #- if: env.DOIT == 'yes'
+    #  uses: DeterminateSystems/magic-nix-cache-action@v2
     - if: env.DOIT == 'yes'
       name: Install Cachix
       uses: cachix/cachix-action@v12