Skip to content

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

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

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

Triggered via push February 11, 2026 18:53
Status Success
Total duration 2m 27s
Artifacts 2

phar.yml

on: push
integration-tests  /  Check PHAR checksum
integration-tests / Check PHAR checksum
Download base SHA PHAR
0s
Download base SHA PHAR
extension-tests  /  Check PHAR checksum
extension-tests / Check PHAR checksum
other-tests  /  Check PHAR checksum
other-tests / Check PHAR checksum
Commit PHAR
38s
Commit PHAR
Matrix: integration-tests / integration-run-phpstan
Waiting for pending jobs
integration-tests  /  PMMP Tests
integration-tests / PMMP Tests
Matrix: integration-tests / integration-tests
Waiting for pending jobs
Checksum PHAR
0s
Checksum PHAR
PHAR Prefix Diff
0s
PHAR Prefix Diff
Matrix: extension-tests / tests-extensions
Waiting for pending jobs
Matrix: other-tests / Other Tests
Waiting for pending jobs
integration-tests  /  Integration - Update baselines
integration-tests / Integration - Update baselines
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
phar-file Expired
3.73 MB
sha256:201d936b55103c4590270b6cfddbe1a58cab4d33f67dbbee6b454f4bb9fac557
phar-file-checksum Expired
3.73 MB
sha256:43691c56e4d58244aa4fd5b20795d8b399d46f6ba3ffbbf5c2e97bc74fafe422