Github eval to its own workflow

Signed-off-by: Henri Rosten <[email protected]>

.github/workflows/check.yml

@@ -22,7 +22,7 @@ jobs:
         run: nix fmt -- --fail-on-change
       - name: Check reuse lint
         run: nix develop --command reuse lint
-      - name: Check ghaf flake evaluates
+      - name: Check nix flake show runs successfully
         run: nix flake show --all-systems
       - name: Check templates
         run: |

.github/workflows/eval.yml

@@ -0,0 +1,45 @@
+# SPDX-FileCopyrightText: 2022-2025 TII (SSRC) and the Ghaf contributors
+#
+# SPDX-License-Identifier: Apache-2.0
+
+name: eval
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+jobs:
+  eval:
+    runs-on: ubuntu-latest
+    timeout-minutes: 360
+    strategy:
+      matrix:
+        include:
+          - jobid: 0
+          - jobid: 1
+          - jobid: 2
+          - jobid: 3
+          - jobid: 4
+          - jobid: 5
+          - jobid: 6
+          - jobid: 7
+    concurrency:
+      # Cancel any in-progress workflow runs from the same PR or branch,
+      # allowing matrix jobs to run concurrently:
+      group: ${{ github.workflow }}.${{ github.event.pull_request.number || github.ref }}.${{ matrix.jobid }}
+      cancel-in-progress: true
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.merge.sha || github.ref }}
+          fetch-depth: 0
+      - name: Install nix
+        uses: cachix/install-nix-action@v30
+      - name: Evaluate (jobid=${{ matrix.jobid }})
+        run: |
+          echo "strategy.job-total: ${{ strategy.job-total }}"
+          echo "matrix.jobid: ${{ matrix.jobid }}"
+          nix develop --command .github/eval.sh -j ${{ matrix.jobid }} -m ${{ strategy.job-total }}