Skip to content
Lint php

[stable31] fix: enable workspace header in "Personal files" #10628

Sign in to view logs

[stable31] fix: enable workspace header in "Personal files"

[stable31] fix: enable workspace header in "Personal files" #10628

Triggered via pull request March 6, 2026 15:43
@backportbotbackportbot[bot]
opened #8310
backport/8304/stable31
Status Success
Total duration 43s
Artifacts –

lint-php.yml

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