Skip to content

fix: return an empty string when readline() reaches end-of-file (#1… #15779

fix: return an empty string when readline() reaches end-of-file (#1…

fix: return an empty string when readline() reaches end-of-file (#1… #15779

Triggered via push September 15, 2026 06:49
Status Success
Total duration 44s
Artifacts –

test-phpstan.yml

on: push
PHP Static Analysis
39s
PHP Static Analysis
Fit to window
Zoom out
Zoom in