CI

Auto merge of #3099 - RalfJung:abi-target-feature, r=RalfJung #5886

Sign in to view logs

Triggered via push October 2, 2023 16:33

bors

auto

Status Success

Total duration 43m 4s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification