Skip to content

Auto merge of #3120 - RalfJung:rustup, r=RalfJung #5952

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

Auto merge of #3120 - RalfJung:rustup, r=RalfJung #5952

Triggered via push October 12, 2023 07:21
Status Success
Total duration 36m 7s
Artifacts

ci.yml

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