Clippy Dev Test

Auto merge of #12855 - tesuji:fix-author-lint, r=Jarcho #17326

Sign in to view logs

Triggered via push June 11, 2024 22:49

bors

auto

Status Success

Total duration 1m 12s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished