Clippy Dev Test

Auto merge of #12535 - samueltardieu:issue-12528, r=y21 #16537

Sign in to view logs

Triggered via push March 23, 2024 10:46

bors

auto

Status Success

Total duration 1m 14s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished