Skip to content

Remove -Ztime#102725

Merged
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:rm-Z-time
Oct 6, 2022
Merged

Remove -Ztime#102725
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:rm-Z-time

Be consistent about deciding whether to print pass data.

4e8faff
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs