try with 4 threads

leanprover · Feb 7, 2025 · 9b7fbea · 9b7fbea
1 parent 4566ffd
commit 9b7fbea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
@@ -18,7 +18,7 @@
   run_config:
     <<: *time
     cmd: |
-      bash -c 'set -eo pipefail; touch ../../src/Init/Prelude.lean; make LEAN_OPTS="-Dprofiler=true -Dprofiler.threshold=9999" -C ${BUILD:-../../build/release}/stage2 --output-sync -j$(nproc) 2>&1 | ./accumulate_profile.py'
+      bash -c 'set -eo pipefail; touch ../../src/Init/Prelude.lean; make LEAN_NUM_THREADS=4 LEAN_OPTS="-Dprofiler=true -Dprofiler.threshold=9999" -C ${BUILD:-../../build/release}/stage2 --output-sync -j$(nproc) 2>&1 | ./accumulate_profile.py'
     max_runs: 2
     parse_output: true
   # initialize stage2 cmake + warmup