CI

Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJung #8167

Sign in to view logs

Triggered via push July 14, 2024 17:36

bors

auto

Status Success

Total duration 22m 59s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification