Skip to content

Auto merge of #13377 - vHugoObject:master, r=dswij #18468

Auto merge of #13377 - vHugoObject:master, r=dswij

Auto merge of #13377 - vHugoObject:master, r=dswij #18468

Triggered via push September 13, 2024 11:55
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