test.yml: Run integration tests on Linux separately

Author: ttuegel

.github/workflows/test.yml

@@ -55,6 +55,35 @@ jobs:
       - name: Check shell
         run: nix-shell --run "echo OK"
 
+  nix-integration:
+    name: 'Nix / Integration'
+    runs-on: ubuntu-latest
+    needs: nix
+    steps:
+      - name: Check out code
+        uses: actions/[email protected]
+        with:
+          # Check out pull request HEAD instead of merge commit.
+          ref: ${{ github.event.pull_request.head.sha }}
+          submodules: recursive
+
+      - 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
+          skipPush: true
+          extraPullNames: runtimeverification
+
+      - name: Run integration tests
+        run: nix-build test.nix
+
   cabal:
     name: 'Cabal'
     runs-on: ubuntu-latest