Enforce that PR CI jobs are a subset of Auto CI jobs modulo carve-outs#144244
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 24, 2025
Merged
Enforce that PR CI jobs are a subset of Auto CI jobs modulo carve-outs#144244bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom