Skip to content

Add reference annotations for the coverage attribute#134487

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:reference-coverage
Dec 20, 2024
Merged

Add reference annotations for the `coverage` attribute#134487
bors merged 1 commit intorust-lang:masterfrom
ehuss:reference-coverage

Commits

Commits on Dec 18, 2024