CI

Auto merge of #3589 - RalfJung:io-error, r=RalfJung #7442

Sign in to view logs

Triggered via push May 8, 2024 16:23

bors

auto

Status Success

Total duration 22m 39s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification