diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index f53547682..ee315a585 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -9,14 +9,17 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v14.1
+        uses: cachix/install-nix-action@v19
         with:
-          install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
+          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          extra_nix_config: |
+            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+            
 
       - name: Upload release.nix
         uses: ttuegel/upload-release.nix@v1.0
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 2d312943e..f715afc54 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -9,24 +9,25 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Check out code
-      uses: actions/checkout@v2.3.4
+      uses: actions/checkout@v3
       with:
         submodules: recursive
 
     - name: Install Nix
-      uses: cachix/install-nix-action@v14.1
+      uses: cachix/install-nix-action@v19
       with:
+        install_url: https://releases.nixos.org/nix/nix-2.13.3/install
         extra_nix_config: |
+          access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
           substituters = http://cache.nixos.org https://hydra.iohk.io
           trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-        install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
     - name: Install Cachix
-      uses: cachix/cachix-action@v10
+      uses: cachix/cachix-action@v12
       with:
-        name: runtimeverification
-        extraPullNames: kore
-        skipPush: true
+          name: k-framework
+          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          skipPush: true
 
     - name: Check materialization
       run: nix-build --arg checkMaterialization true iele-assemble -A project.stack-nix
@@ -45,19 +46,20 @@ jobs:
         submodules: recursive
 
     - name: Install Nix
-      uses: cachix/install-nix-action@v14.1
+      uses: cachix/install-nix-action@v19
       with:
+        install_url: https://releases.nixos.org/nix/nix-2.13.3/install
         extra_nix_config: |
-          substituters = http://cache.nixos.org https://hydra.iohk.io
-          trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-        install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
+            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
 
     - name: Install Cachix
-      uses: cachix/cachix-action@v10
+      uses: cachix/cachix-action@v12
       with:
-        name: runtimeverification
-        extraPullNames: kore
-        signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          name: k-framework
+          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          skipPush: true
 
     - name: Build
       run: K_OPTS=-Xmx6G nix-build --cores 1
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
index ff5645199..562291913 100644
--- a/.github/workflows/update.yml
+++ b/.github/workflows/update.yml
@@ -28,12 +28,13 @@ jobs:
           submodules: recursive
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v14.1
+        uses: cachix/install-nix-action@v19
         with:
+          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
           extra_nix_config: |
+            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
             substituters = http://cache.nixos.org https://hydra.iohk.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-          install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
       - name: Materialize
         run: ./nix/rematerialize.sh