From a9cc57c81c2b74fbff8bd4e01b6e5ebfa5c377ff Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 28 Jun 2022 22:31:51 +0200
Subject: [PATCH] chore: CI: more cache setup

---
 .github/workflows/nix-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
index 413c0f72f0..2f12d4a940 100644
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@@ -64,7 +64,8 @@ jobs:
       - name: Further Set Up CCache Cache
         shell: bash -euxo pipefail {0}
         run: |
-          sudo chown -R root:nixbld /nix/var/cache/ccache
+          sudo chown -R root:nixbld /nix/var/cache
+          sudo chmod -R 770 /nix/var/cache
       - uses: cachix/cachix-action@v10
         with:
           name: lean4