Skip to content
Clippy Dev Test

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

Sign in to view logs

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

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

Triggered via push October 24, 2023 11:38
@borsbors
pushed b25558b
auto
Status Success
Total duration 1m 40s
Artifacts –

clippy_dev.yml

on: push
clippy_dev
1m 20s
clippy_dev
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