Skip to content

Auto merge of #3074 - rust-lang:rustup-2023-09-22, r=RalfJung #5823

Auto merge of #3074 - rust-lang:rustup-2023-09-22, r=RalfJung

Auto merge of #3074 - rust-lang:rustup-2023-09-22, r=RalfJung #5823

Triggered via push September 22, 2023 08:36
Status Success
Total duration 32m 16s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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