.github/workflows: corrections to cachix usage

Author: ehildenb

.github/workflows/test-pr.yml

@@ -127,24 +127,16 @@ jobs:
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
-
-      - name: 'Install Nix'
+      - name: 'Install Nix/Cachix'
         uses: cachix/install-nix-action@v15
         with:
           install_url: https://releases.nixos.org/nix/nix-2.7.0/install
           extra_nix_config: |
             substituters = http://cache.nixos.org https://cache.iog.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@v10
         with:
-          name: runtimeverification
-          extraPullNames: kore
-          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
-
-      # - name: Check submodules
-      #   run: GC_DONT_GC=1 nix run .#check-submodules
-
-      - name: Test KEVM
+          name: k-framework
+          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
+      - name: 'Test KEVM'
         run: GC_DONT_GC=1 nix build .#kevm-test

.github/workflows/update-version.yml

@@ -44,18 +44,16 @@ jobs:
           poetry update
           cd -
           git add kevm-pyk/ && git commit -m 'kevm-pyk/: sync poetry files' || true
-      - name: 'Install Nix'
+      - name: 'Install Nix/Cachix'
         uses: cachix/install-nix-action@v15
         with:
           extra_nix_config: |
             substituters = http://cache.nixos.org https://cache.iog.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@v10
         with:
-          name: runtimeverification
-          extraPullNames: kore
-          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          name: k-framework
+          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
       - name: 'Update nix flake inputs'
         run: |
           nix run .#update-from-submodules