Skip to content

[stable31] fix: use nodeId for user element #6588

[stable31] fix: use nodeId for user element

[stable31] fix: use nodeId for user element #6588

Triggered via pull request December 30, 2025 22:14
Status Success
Total duration 55s
Artifacts

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
4s
php-lint-summary
Fit to window
Zoom out
Zoom in