Auto merge of #3871 - Mandragorian:detect_rwlock_move, r=RalfJung #8738

Sign in to view logs

Triggered via push September 9, 2024 16:45

bors

auto

Status Success

Total duration 24m 15s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification