Skip to content

Auto merge of #11031 - Centri3:needless_return, r=giraffate #13715

Auto merge of #11031 - Centri3:needless_return, r=giraffate

Auto merge of #11031 - Centri3:needless_return, r=giraffate #13715

Triggered via push July 24, 2023 13:17
Status Success
Total duration 1m 35s
Artifacts

clippy_dev.yml

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