Skip to content

Auto merge of #3481 - RalfJung:rustup, r=RalfJung #7101

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

Auto merge of #3481 - RalfJung:rustup, r=RalfJung #7101

Annotations

1 warning

build (ubuntu-latest, x86_64-unknown-linux-gnu)

succeeded Apr 17, 2024 in 29m 22s