CI

Auto merge of #3163 - RalfJung:borrow-privacy, r=RalfJung #6131

Sign in to view logs

Triggered via push November 13, 2023 19:43

bors

auto

Status Success

Total duration 40m 21s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification