Clippy Dev Test

Auto merge of #13329 - RalfJung:git-commit-rerun, r=Alexendoo,flip1995 #18716

Sign in to view logs

Triggered via push October 7, 2024 17:36

bors

auto

Status Success

Total duration 1m 10s

Artifacts –

clippy_dev.yml

on: push

bors dev test finished

bors dev test finished