Skip to content

Auto merge of #11685 - Alexendoo:clippy_config, r=flip1995 #14723

Auto merge of #11685 - Alexendoo:clippy_config, r=flip1995

Auto merge of #11685 - Alexendoo:clippy_config, r=flip1995 #14723

Triggered via push October 24, 2023 11:54
Status Success
Total duration 1m 37s
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