Skip to content

Auto merge of #3165 - rust-lang:rustup-2023-11-15, r=RalfJung #6144

Auto merge of #3165 - rust-lang:rustup-2023-11-15, r=RalfJung

Auto merge of #3165 - rust-lang:rustup-2023-11-15, r=RalfJung #6144

Triggered via push November 15, 2023 06:49
Status Success
Total duration 27m 9s
Artifacts

ci.yml

on: push
Matrix: build
bors build finished
2s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in