allow needless_option_take to report for more cases #11212

Sign in to view logs

Triggered via pull request November 14, 2024 03:52

ericwu17

opened #13684

ericwu17:generalized-needless-option-take

Status Success

Total duration 1m 25s

Artifacts –

remark.yml

on: pull_request

conclusion_remark