Skip to content

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

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

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

Triggered via pull request October 24, 2025 17:25
Status Success
Total duration 19s
Artifacts

block-merge-commits.yml

on: pull_request
Block Merge Commits
11s
Block Merge Commits
Fit to window
Zoom out
Zoom in