Skip to content

Auto merge of #13395 - GnomedDev:unnecessary-lit-bound, r=Manishearth #18793

Auto merge of #13395 - GnomedDev:unnecessary-lit-bound, r=Manishearth

Auto merge of #13395 - GnomedDev:unnecessary-lit-bound, r=Manishearth #18793

Triggered via push October 15, 2024 16:36
Status Success
Total duration 1m 15s
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