CI

Auto merge of #3131 - RalfJung:rustup, r=RalfJung #6000

Sign in to view logs

Triggered via push October 20, 2023 06:08

bors

auto

Status Success

Total duration 37m 26s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification