Skip to content

Auto merge of #13091 - Alexendoo:empty-line-after-rewrite, r=dswij #18259

Auto merge of #13091 - Alexendoo:empty-line-after-rewrite, r=dswij

Auto merge of #13091 - Alexendoo:empty-line-after-rewrite, r=dswij #18259

Triggered via push August 25, 2024 17:47
Status Success
Total duration 1m 12s
Artifacts

clippy_dev.yml

on: push
clippy_dev
56s
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