Lint php

[stable31] fix: make comments with mention editable #4491

Sign in to view logs

Triggered via pull request September 19, 2025 17:10

synchronize #7198

backport/7128/stable31

Status Success

Total duration 50s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary