Skip to content

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21 #18528

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21

Auto merge of #13322 - RuairidhWilliamson:anon-trait-import, r=y21 #18528

Triggered via push September 22, 2024 14:19
Status Success
Total duration 1m 8s
Artifacts

clippy_dev.yml

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