Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
Zoxc:fix-dep-graph-no-prev-map
Apr 11, 2025
Merged

Reuse the index from promoted nodes when coloring executed tasks#139410
bors merged 1 commit into
rust-lang:masterfrom
Zoxc:fix-dep-graph-no-prev-map

Reuse the index from promoted nodes when coloring executed tasks

1c568bb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs