Skip to content
Merge bot PR

Quality of life improvement, PHPStorm error identifiers #3604

Sign in to view logs

Quality of life improvement, PHPStorm error identifiers

Quality of life improvement, PHPStorm error identifiers #3604

Triggered via pull request October 7, 2025 06:58
@NickSdotNickSdot
opened #4416
NickSdot:error-identifiers
Status Success
Total duration 32s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
21s
Automerge PRs
Fit to window
Zoom out
Zoom in