Clippy Dev Test

Auto merge of #12827 - Alexendoo:lint-groups-priority, r=Jarcho #17263

Sign in to view logs

Triggered via push June 6, 2024 12:10

bors

auto

Status Success

Total duration 1m 28s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished