Skip to content

Auto merge of #12921 - flip1995:rustup, r=flip1995 #17341

Auto merge of #12921 - flip1995:rustup, r=flip1995

Auto merge of #12921 - flip1995:rustup, r=flip1995 #17341

Triggered via push June 13, 2024 10:25
Status Success
Total duration 1m 16s
Artifacts

clippy_dev.yml

on: push
clippy_dev
58s
clippy_dev
bors dev test finished
0s
bors dev test finished
bors dev test finished
0s
bors dev test finished
Fit to window
Zoom out
Zoom in