Clippy Dev Test

Auto merge of #13437 - samueltardieu:issue-13434, r=y21 #18922

Sign in to view logs

Triggered via push October 29, 2024 08:03

bors

auto

Status Success

Total duration 1m 29s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished