Skip to content

Commit

Permalink
Fix macOS CI
Browse files Browse the repository at this point in the history
  • Loading branch information
malob committed Sep 6, 2023
1 parent 59cfd2b commit c9e09eb
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/nix-agda.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/nix.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}
Expand All @@ -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 }}
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/stack.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}
Expand Down

0 comments on commit c9e09eb

Please sign in to comment.