diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
index 8f1371e..6cf63f2 100644
--- a/.github/workflows/github-pages.yml
+++ b/.github/workflows/github-pages.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
+      - uses: cachix/install-nix-action@v18
       - uses: cachix/cachix-action@v12
         with:
           name: agda-template
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 6428a24..45009e5 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
+      - uses: cachix/install-nix-action@v18
       - uses: cachix/cachix-action@v12
         with:
           name: agda-template