Skip to content

Tweaks to MIR building scope API - #158706

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
cjgillot:drop-api
Jul 5, 2026
Merged

Tweaks to MIR building scope API#158706
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
cjgillot:drop-api

Simplify API.

28ed28a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 2, 2026 in 1m 0s