Semantic Diff

#9272 Benchmark project builds and output sizes in CI

1 commit

a5e4a650de3e3f00be3124b14936fc777e89bb4e..pr-9272

1673f766b · cknitt + Claude · Nov 09, 2026, 06:46 UTC

Benchmark project builds and output sizes in CI

The benchmarks only replayed single bsc calls, so the build system's own work never showed. They now also build the base's tests/tests on one worker domain (clean, no-op, leaf edit, shared edit), adding the workers' allocations the build reports, and measure the .cmi/.cmti/.cmt/.cmj sizes and the playground bundle. Only the no-op and leaf-edit builds run under cachegrind: the larger ones take minutes, and with two domains collecting their instructions depend on how the domains interleave.

Review

  • Why build the base's tests/tests on both sides? The base compiler builds them already, so a pull request adding tests with new syntax can't break the base measurement.