tools.ci
Source: tools/ci.py
tools.ci
Backs ./merlin ci: runs lint, formatting, and patch-state checks the
same way GitHub Actions runs them. Useful before pushing.
run_patch_gate(args)
CI gate: verify the iree_bar submodule is a clean rebase of the pinned upstream.