3 Commits

Include renames

Author	SHA1	Message	Date
_Kerman	ef8f166ccc	test(ci): preserve the lane budget for invariant verifier children	2026-09-08 17:00:41 +08:00
Turtle	15f2997bcb	cleanup: omit unneeded invariant companions	2026-08-28 13:12:52 +08:00
Tianyi Cui	f1202d0dd8	ci: enforce bounded build lanes	2026-07-21 20:15:09 +08:00