Auto merge of #3893 - rust-lang:autolabel, r=RalfJung #8814

Sign in to view logs

Triggered via push September 17, 2024 07:00

bors

auto

Status Success

Total duration 24m 32s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification