Skip to content

Auto merge of #11730 - cuishuang:master, r=dswij #14748

Auto merge of #11730 - cuishuang:master, r=dswij

Auto merge of #11730 - cuishuang:master, r=dswij #14748

Triggered via push October 29, 2023 05:00
Status Success
Total duration 1m 40s
Artifacts

clippy_dev.yml

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