Workflow and gates
Precommit, CI, stacked pull requests, reviews and a pinned toolchain
Checks only help when they run at the right moment, on the right tree, with the right tools. These pages cover the order things happen in, from a local commit to a merged stack, and the environment that makes a local pass mean the same thing as a CI pass.
-
CI, stacks and merging
CI that mirrors precommit, a manifest for required checks, and short stacks
-
An LLM code grader
The repository's own checks plus an LLM for the judgement calls
-
A pinned environment
Nix and devenv pin every tool, so a pass means the same thing everywhere
-
The precommit pipeline
Twenty-five gates in a fixed order, and a light set for shared machines
-
Review rules
Answer every thread, fix what is actually broken, and know when to stop