Skip to content
Spelling

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

Sign in to view logs

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

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

Triggered via pull request October 23, 2025 20:30
@staabmstaabm
opened #4470
staabm:list-count
Status Success
Total duration 17s
Artifacts –

spelling.yml

on: pull_request
Check for typos
7s
Check for typos
Fit to window
Zoom out
Zoom in