CI

Auto merge of #3176 - eduardosm:cmp, r=RalfJung #6207

Sign in to view logs

Triggered via push November 20, 2023 17:21

bors

auto

Status Success

Total duration 27m 6s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification