Skip to content

Rollup of 4 pull requests#132631

Merged
bors merged 10 commits into
rust-lang:masterfrom
workingjubilee:rollup-dx0krqp
Nov 5, 2024
Merged

Rollup of 4 pull requests#132631
bors merged 10 commits into
rust-lang:masterfrom
workingjubilee:rollup-dx0krqp

Rollup merge of #132630 - RalfJung:const-eval-pings, r=jieyouxu

5b1c626
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs