Skip to content

Auto merge of #139751 - frank-king:feature/pin-project, r=<try> #181190

Auto merge of #139751 - frank-king:feature/pin-project, r=<try>

Auto merge of #139751 - frank-king:feature/pin-project, r=<try> #181190

Triggered via push October 31, 2025 05:32
Status Success
Total duration 2h 20m 28s
Artifacts

ci.yml

on: push
Calculate job matrix
1m 3s
Calculate job matrix
Matrix: job
bors build finished
14s
bors build finished
Fit to window
Zoom out
Zoom in