Skip to content

coverage: Dismantle map_data.rs by moving its responsibilities elsewhere#134323

Merged
bors merged 6 commits into
rust-lang:masterfrom
Zalathar:dismantle-map-data
Dec 18, 2024
Merged

coverage: Dismantle map_data.rs by moving its responsibilities elsewhere#134323
bors merged 6 commits into
rust-lang:masterfrom
Zalathar:dismantle-map-data

coverage: Track used functions in a set instead of a map

541d4e8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs