Skip to content

Auto merge of #13324 - WeiTheShinobi:single_match, r=dswij #18414

Auto merge of #13324 - WeiTheShinobi:single_match, r=dswij

Auto merge of #13324 - WeiTheShinobi:single_match, r=dswij #18414

Triggered via push September 8, 2024 15:02
Status Success
Total duration 1m 20s
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