Use IOHK's Hydra cache

Author: ttuegel

.github/workflows/release.yml

@@ -4,15 +4,25 @@ on:
     branches:
       - master
 jobs:
-  tests:
+  release:
+    name: 'Release'
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/[email protected]
+    - name: Check out code
+      uses: actions/[email protected]
       with:
         submodules: recursive
-    - uses: cachix/install-nix-action@v12
-    - uses: cachix/cachix-action@v8
+    - name: Install Nix
+      uses: cachix/install-nix-action@v12
+      with:
+        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=
+    - name: Install Cachix
+      uses: cachix/cachix-action@v8
       with:
         name: runtimeverification
         signingKey: '${{ secrets.RUNTIMEVERIFICATION_CACHIX_SIGNING_KEY }}'
-    - run: nix-build -A kore -A project.kore.checks
+        extraPullNames: 'kore'
+    - name: Build
+      run: nix-build -A kore -A project.kore.checks

.github/workflows/test.yml

@@ -4,20 +4,29 @@ on:
   push:
 jobs:
   test-nix:
+    name: 'Nix'
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/[email protected]
+    - name: 'Check out code'
+      uses: actions/[email protected]
       with:
         submodules: recursive
-    - uses: cachix/install-nix-action@v12
-    - uses: cachix/cachix-action@v8
+    - name: Install Nix
+      uses: cachix/install-nix-action@v12
+      with:
+        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=
+    - name: Install Cachix
+      uses: cachix/cachix-action@v8
       with:
         name: kore
         signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
     - run: nix-build --arg checkMaterialization true -A kore -A project.kore.checks
     - run: nix-shell --run "echo OK"
 
   test-cabal:
+    name: 'Cabal'
     runs-on: ubuntu-latest
     steps:
     - uses: actions/[email protected]