Skip to content

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

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

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

Triggered via push February 11, 2026 18:53
Status Success
Total duration 3m 34s
Artifacts 5
Dump PHP symbols
1m 53s
Dump PHP symbols
Matrix: Reflection golden test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
phpSymbols Expired
125 KB
sha256:73a4ca045657dc6bec23314138aa95902d1519d07355424f99f73e588db67714
reflection-8.2.test Expired
414 KB
sha256:e18546cd7118f2df1b6f3f22dc1067da7f32298b3b41237bb9f0d52d1085e07a
reflection-8.3.test Expired
415 KB
sha256:a316a1d72bfe0f58d9e2125cc38895c9908ff36734939ce8fa0ea56bc83f3e17
reflection-8.4.test Expired
420 KB
sha256:28337c93df57b880ed664904fb7f75a0051b010a76057178ae5a9f98d2fac6ac
reflection-8.5.test Expired
420 KB
sha256:129d5a13e330aa0e8d1adef5555cd2a26f474486187ade1e6ce0cf3805f3e4b7