CI fix cachix installation (#1017)

* update install-nix-action from v22 to v31.2.0

* update cachix-action from v12 to v16

Author: juliankuners

.github/workflows/test-pr.yml

@@ -221,7 +221,7 @@ jobs:
 
       - name: 'Install Nix'
         if: ${{ matrix.runner != 'MacM1' }}
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v31.2.0
         with:
           install_url: https://releases.nixos.org/nix/nix-2.24.12/install
           extra_nix_config: |
@@ -230,7 +230,7 @@ jobs:
 
       - name: 'Install Cachix'
         if: ${{ matrix.runner != 'MacM1' }}
-        uses: cachix/cachix-action@v12
+        uses: cachix/cachix-action@v16
         with:
           name: k-framework
 

.github/workflows/update-version.yml

@@ -40,12 +40,12 @@ jobs:
           echo ${K_VERSION} > deps/k_release
           git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
       - name: 'Install Nix/Cachix'
-        uses: cachix/install-nix-action@v19
+        uses: cachix/install-nix-action@v31.2.0
         with:
           install_url: https://releases.nixos.org/nix/nix-2.24.12/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
-      - uses: cachix/cachix-action@v12
+      - uses: cachix/cachix-action@v16
         with:
           name: k-framework
           authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}