Skip to content

Port #[ignore] to the new attribute parsing infrastructure#143238

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:ignore_parser
Jul 6, 2025
Merged

Port `#[ignore]` to the new attribute parsing infrastructure#143238
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:ignore_parser

Commits

Commits on Jul 5, 2025