Skip to content

Auto merge of #11758 - y21:clippy_config_references, r=flip1995 #14804

Auto merge of #11758 - y21:clippy_config_references, r=flip1995

Auto merge of #11758 - y21:clippy_config_references, r=flip1995 #14804

Triggered via push November 6, 2023 10:03
Status Success
Total duration 1m 31s
Artifacts

clippy_dev.yml

on: push
bors dev test finished
0s
bors dev test finished
bors dev test finished
0s
bors dev test finished
Fit to window
Zoom out
Zoom in