Verify three batches at once by default (was two)

The server has room (8 cores, load about 5.5); batches waited about 15
minutes for their result.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01RNwtXPYqFu3oKaaXwYwNWW
This commit is contained in:
Saty 2026-10-19 00:09:01 +02:00
commit 9c8cd1320d
2 changed files with 2 additions and 2 deletions

View file

@ -74,7 +74,7 @@ export class Verifier {
pump() {
if (this.stopped) return;
const max = this.config.verifyConcurrency ?? 2;
const max = this.config.verifyConcurrency ?? 3;
while (this.running < max) {
// Verification compiles only the submitted units, so every batch is small here; the units
// that include a changed header are compiled in the merge's big lane.