Skip to content

[stable32] fix(github): add labels and milestone to PR checklist #41824

[stable32] fix(github): add labels and milestone to PR checklist

[stable32] fix(github): add labels and milestone to PR checklist #41824

Triggered via pull request September 21, 2025 19:54
Status Success
Total duration 41s
Artifacts

lint-php.yml

on: pull_request
changes
7s
changes
Matrix: php-lint
php-lint-summary
6s
php-lint-summary
Fit to window
Zoom out
Zoom in