Skip to content

Auto merge of #3097 - RalfJung:rustup, r=RalfJung #5881

Auto merge of #3097 - RalfJung:rustup, r=RalfJung

Auto merge of #3097 - RalfJung:rustup, r=RalfJung #5881

Triggered via push September 30, 2023 21:33
Status Success
Total duration 35m 58s
Artifacts

ci.yml

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