Skip to content
Clippy Dev Test

Fix issue 11223: add check for identical guards in lint match_same_arms #15473

Sign in to view logs

Fix issue 11223: add check for identical guards in lint match_same_arms

Fix issue 11223: add check for identical guards in lint match_same_arms #15473

Triggered via pull request December 30, 2023 19:00
@roiferoife
synchronize #12059
roife:fix/issue-11223
Status Success
Total duration 57s
Artifacts –

clippy_dev.yml

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