CI

Auto merge of #3159 - eduardosm:sse41-round, r=RalfJung #6110

Sign in to view logs

Triggered via push November 12, 2023 18:24

bors

auto

Status Success

Total duration 42m 55s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification