chore: CI: fix ccache cache group

2022-06-28 16:24:10 +02:00 · 2022-06-28 16:24:10 +02:00 · 995d92d10e
commit 995d92d10e
parent 8f3fda4777
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@ -60,7 +60,7 @@ jobs:
        shell: bash -euxo pipefail {0}
        run: |
          sudo mkdir -m0770 -p /nix/var/cache/ccache
-          sudo chown -R root /nix/var/cache/ccache
+          sudo chown -R root:nixbld /nix/var/cache/ccache
      - uses: cachix/cachix-action@v10
        with:
          name: lean4