Skip to content
Lintcheck

allow needless_option_take to report for more cases #1624

Sign in to view logs

allow needless_option_take to report for more cases

allow needless_option_take to report for more cases #1624

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

lintcheck.yml

on: pull_request
base
8m 35s
base
head
8m 35s
head
diff
0s
diff
Fit to window
Zoom out
Zoom in

Annotations

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