Skip to content

Merge pull request #140 from matsuo/resolve-the-error-detected-by-php… #50

Merge pull request #140 from matsuo/resolve-the-error-detected-by-php…

Merge pull request #140 from matsuo/resolve-the-error-detected-by-php… #50

Triggered via push January 17, 2026 14:29
Status Success
Total duration 13s
Artifacts

phan.yml

on: push
Run Phan
9s
Run Phan
Fit to window
Zoom out
Zoom in