Reuse the index from promoted nodes when coloring executed tasks#139410

Merged

bors merged 1 commit intorust-lang:masterfrom

Zoxc:fix-dep-graph-no-prev-map

Apr 11, 2025

Commits on Apr 5, 2025

Reuse the index from promoted nodes when coloring executed tasks
Zoxc
committed