build: make the gate reproducible, pinned and complete - #344

Merged

OmarAlJarrah merged 8 commits into

mainfrom

build/reproducible-and-complete-gate

Aug 13, 2026

Commits on Aug 9, 2026

build: make the gate reproducible, pinned and complete
OmarAlJarrah
committed
68310fb

Commits on Aug 13, 2026

Merge remote-tracking branch 'origin/main' into build/reproducible-and-complete-gate
OmarAlJarrah
committed
2644b2e
build: hold the schema fuzz target back until its bug is fixed
OmarAlJarrah
committed
936c352
build: run the gate one check at a time under make -j
OmarAlJarrah
committed
70458cf
docs: point README's build section at the gate it now runs
OmarAlJarrah
committed
f046290
docs(ci): say the gate keeps CI order, not just its commands
OmarAlJarrah
committed
a53fed9
docs(scripts): correct what a shared profile path costs now
OmarAlJarrah
committed
aacc469
docs: name the one gate check that is not a make target
OmarAlJarrah
committed
6c7acca