ci: Add -j$(nproc) to nix-build invocation

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 3, 2023 · 9d719b6 · 9d719b6
1 parent b1c2d43
commit 9d719b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -31,7 +31,7 @@ jobs:
           name: coliasgroup
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       - name: Build and check
-        run: make -C hacking/ci/github-actions check
+        run: make -C hacking/ci/github-actions check J=$(nproc)
       - name: Expose docs
         run: make -C hacking/ci/github-actions docs
       - name: Upload Pages artifact