Skip to content

Remove minicore ping for myself - #157091

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jieyouxu:jieyouxu/misc/remove-minicore-ping
May 29, 2026
Merged

Remove minicore ping for myself#157091
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jieyouxu:jieyouxu/misc/remove-minicore-ping

Remove minicore ping for myself

0d0d523
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded May 29, 2026 in 36s