diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 92d0059..1deff86 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -9,9 +9,9 @@ jobs:
     name: Deploy
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
-      - uses: cachix/cachix-action@v10
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v30
+      - uses: cachix/cachix-action@v15
         with:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}