Skip to content
Clippy Dev Test

Auto merge of #12815 - GuillaumeGomez:add-needless_character_iteratio… #17223

Sign in to view logs

Auto merge of #12815 - GuillaumeGomez:add-needless_character_iteratio…

Auto merge of #12815 - GuillaumeGomez:add-needless_character_iteratio… #17223

Triggered via push June 3, 2024 08:09
@borsbors
pushed 61d3e14
auto
Status Success
Total duration 1m 45s
Artifacts –

clippy_dev.yml

on: push
clippy_dev
1m 27s
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