Skip to content
Lintcheck

New lint: unnecessary_map_or #1185

Sign in to view logs

New lint: unnecessary_map_or

New lint: unnecessary_map_or #1185

Triggered via pull request October 17, 2024 20:59
@JacherrJacherr
synchronize #11796
Jacherr:pattern-match-partialeq
Status Cancelled
Total duration 2m 2s
Artifacts –

lintcheck.yml

on: pull_request
base
1m 50s
base
head
1m 51s
head
diff
0s
diff
Fit to window
Zoom out
Zoom in

Annotations

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