Clippy Dev Test

Auto merge of #11460 - J-ZhengLi:issue11429, r=Centri3 #14709

Sign in to view logs

Triggered via push October 23, 2023 14:37

bors

auto

Status Success

Total duration 1m 44s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished