CI

Auto merge of #3130 - RalfJung:rustup, r=RalfJung #5992

Sign in to view logs

Triggered via push October 19, 2023 19:28

bors

auto

Status Success

Total duration 42m 5s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification