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

seL4 · Oct 3, 2023 · 3a88c2c · 3a88c2c
1 parent a9e9e52
commit 3a88c2c
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