diff --git a/.github/workflows/nix-agda.yml b/.github/workflows/nix-agda.yml index db1e2eb..31b51e3 100644 --- a/.github/workflows/nix-agda.yml +++ b/.github/workflows/nix-agda.yml @@ -26,7 +26,7 @@ jobs: uses: actions/checkout@v3 - name: Install Nix - uses: cachix/install-nix-action@v21 + uses: cachix/install-nix-action@v22 with: extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index c360a25..f3f823a 100644 --- a/.github/workflows/nix.yml +++ b/.github/workflows/nix.yml @@ -23,7 +23,7 @@ jobs: uses: actions/checkout@v3 - name: Install Nix - uses: cachix/install-nix-action@v21 + uses: cachix/install-nix-action@v22 with: extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} @@ -41,7 +41,7 @@ jobs: uses: actions/checkout@v3 - name: Install Nix - uses: cachix/install-nix-action@v21 + uses: cachix/install-nix-action@v22 with: extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml index c5eca9d..a64d28c 100644 --- a/.github/workflows/stack.yml +++ b/.github/workflows/stack.yml @@ -60,7 +60,7 @@ jobs: # and also reduces how much we need to cache with the `cache` action. - name: Install Nix if: runner.os != 'Windows' - uses: cachix/install-nix-action@v21 + uses: cachix/install-nix-action@v22 with: extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}