Clippy Dev Test

Auto merge of #12486 - J-ZhengLi:issue12435, r=y21 #16531

Sign in to view logs

Triggered via push March 23, 2024 04:28

bors

auto

Status Success

Total duration 1m 11s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished