Skip to content

Auto merge of #13432 - samueltardieu:issue-13401, r=Manishearth #18571

Auto merge of #13432 - samueltardieu:issue-13401, r=Manishearth

Auto merge of #13432 - samueltardieu:issue-13401, r=Manishearth #18571

Triggered via push September 23, 2024 23:08
Status Success
Total duration 1m 14s
Artifacts

clippy_dev.yml

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