Skip to content
Lint

Infer non-empty-ness after count($a) == count($b) #23898

Sign in to view logs

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #23898

Triggered via pull request October 23, 2025 22:16
@staabmstaabm
synchronize #4470
staabm:list-count
Status Failure
Total duration 1m 19s
Artifacts –

lint.yml

on: pull_request
Coding Standard
45s
Coding Standard
Dependency Analysis
23s
Dependency Analysis
Name Collision Detector
22s
Name Collision Detector
Matrix: Lint
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Lint (8.4)
Process completed with exit code 2.
Lint (8.3)
Process completed with exit code 2.
Lint (8.2)
Process completed with exit code 2.
Lint (8.5)
Process completed with exit code 2.
Coding Standard
Process completed with exit code 2.
Lint (8.1)
Process completed with exit code 2.
Lint (8.0)
Process completed with exit code 2.
Lint (7.4)
Process completed with exit code 2.