Semantic Diff

#9274 Stop counting instructions for the project builds

2 commits

bcb7ec73d22d01c4b6fa335fb4352128c0d63980..pr-9274

8eb8855d6 · cknitt + Claude · Nov 09, 2026, 09:29 UTC

Stop counting instructions for the project builds

A ticker wakes the build's scheduler every 5 ms of wall-clock time, so under cachegrind the builds' instructions depend on how fast the runner is: in #9267 the leaf-edit build grew by 348% and the no-op build by 54% although their allocations didn't change, failing the job. Their allocated words stay, and the job runs faster.

067d97f53 · cknitt + Claude · Nov 09, 2026, 11:11 UTC

Retrigger the DCO check

The DCO app left its check suite for the previous commit queued and never reported; a new commit makes it check the pull request again.