Files
Brett Lawson 765ed3e9e0 ci: run the kernel rig's cases 16 at a time (#14403)
* ci: run the kernel rig's cases 16 at a time

The rig can run each case in a process of its own (#14277). Set
KERNEL_CASES_JOBS=16 for the rig step, one per vCPU of the
blacksmith-16vcpu-ubuntu-2404 runner (64 GB), so the rig no longer
runs its 1081 cases one after another, and a hung case is killed at
its CPU-time limit while the rest still run.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SdcgEtwSrdwZxqTQp5MfnU

* solidcore ci: run the kernel rig's cases 4 at a time

The standalone workflow's kernel-rig job runs on a 4-vCPU runner. Set
KERNEL_CASES_JOBS=4 there too, one case process per vCPU, so the
mirror's rig also stops running its cases one after another.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SdcgEtwSrdwZxqTQp5MfnU

---------

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
2026-11-10 04:00:53 +00:00
..