Skip to content

Auto merge of #11473 - Alexendoo:format-args-span-parents, r=dswij #14288

Auto merge of #11473 - Alexendoo:format-args-span-parents, r=dswij

Auto merge of #11473 - Alexendoo:format-args-span-parents, r=dswij #14288

Triggered via push September 12, 2023 16:43
Status Success
Total duration 1m 30s
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