Skip to content
Back to pull request #12464

new lint: unnecessary_indexing #17555

Sign in to view logs

new lint: unnecessary_indexing

new lint: unnecessary_indexing #17555

Triggered via pull request June 30, 2024 23:09
@JacherrJacherr
synchronize #12464
Jacherr:issue-11858
Status Success
Total duration 1m 15s
Artifacts –

clippy_dev.yml

on: pull_request
clippy_dev
1m 5s
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