Skip to content
Lintcheck

allow needless_option_take to report for more cases #1625

Sign in to view logs

allow needless_option_take to report for more cases

allow needless_option_take to report for more cases #1625

Triggered via pull request December 12, 2024 02:46
@ericwu17ericwu17
synchronize #13684
ericwu17:generalized-needless-option-take
Status Cancelled
Total duration 6m 48s
Artifacts –

lintcheck.yml

on: pull_request
base
6m 23s
base
head
6m 22s
head
diff
0s
diff
Fit to window
Zoom out
Zoom in

Annotations

4 errors
head
Canceling since a higher priority waiting request for 'Lintcheck-13684' exists
head
The operation was canceled.
base
Canceling since a higher priority waiting request for 'Lintcheck-13684' exists
base
The operation was canceled.