Skip to content

Prominently mention profiler = true on the coverage page#1844

Merged
tshepang merged 1 commit intorust-lang:masterfrom
Zalathar:coverage-config
Dec 30, 2023

Commits

Commits on Dec 30, 2023