Skip to content

coverage: Add debugging flag -Zcoverage-options=no-mir-spans#126587

Merged
bors merged 1 commit intorust-lang:masterfrom
Zalathar:no-mir-spans
Jun 18, 2024
Merged

coverage: Add debugging flag `-Zcoverage-options=no-mir-spans`#126587
bors merged 1 commit intorust-lang:masterfrom
Zalathar:no-mir-spans

Commits

Commits on Jun 17, 2024