Skip to content

promote_consts: some clean-up after experimenting#125853

Merged
bors merged 5 commits into
rust-lang:masterfrom
tesuji:promote-fail-fast
Jun 21, 2024
Merged

promote_consts: some clean-up after experimenting#125853
bors merged 5 commits into
rust-lang:masterfrom
tesuji:promote-fail-fast

interpret: use trace to reduce noice

7002a3f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs