Skip to content

Remove EntryKind from metadata.#98960

Merged
bors merged 13 commits into
rust-lang:masterfrom
cjgillot:entry-kind
Sep 1, 2022
Merged

Remove EntryKind from metadata.#98960
bors merged 13 commits into
rust-lang:masterfrom
cjgillot:entry-kind

Handle MIR in a single place.

60a052f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs