Skip to content
Clippy Dev Test

fix: remove unnecessary filter_map usages #18804

Sign in to view logs

fix: remove unnecessary filter_map usages

fix: remove unnecessary filter_map usages #18804

Triggered via pull request October 15, 2024 23:42
@wowinter13wowinter13
synchronize #13548
wowinter13:unnecessary_filter_map_filter_map_some
Status Success
Total duration 1m 3s
Artifacts –

clippy_dev.yml

on: pull_request
clippy_dev
55s
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