Skip to content

A bunch of cleanups#133567

Merged
bors merged 8 commits into
rust-lang:masterfrom
bjorn3:various_cleanups
Dec 9, 2024
Merged

A bunch of cleanups#133567
bors merged 8 commits into
rust-lang:masterfrom
bjorn3:various_cleanups

Use ensure for analysis calls

0df8094
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs