Clippy Dev Test

Auto merge of #13573 - y21:issue13427, r=Centri3 #18985

Sign in to view logs

Triggered via push November 3, 2024 09:10

bors

auto

Status Success

Total duration 1m 20s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished