Skip to content

Port #[coverage] to the new attribute system#143891

Merged
bors merged 1 commit into
rust-lang:masterfrom
scrabsha:push-xxtttopqoprr
Jul 18, 2025
Merged

Port #[coverage] to the new attribute system#143891
bors merged 1 commit into
rust-lang:masterfrom
scrabsha:push-xxtttopqoprr

Port `#[coverage]` to the new attribute system

4e054fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.