Skip to content
Lint php

[stable35] fix: Merge driverOptions correctly #62084

Sign in to view logs

[stable35] fix: Merge driverOptions correctly

[stable35] fix: Merge driverOptions correctly #62084

Triggered via pull request September 18, 2026 15:39
@backportbotbackportbot[bot]
opened #64521
backport/64445/stable35
Status Success
Total duration 40s
Artifacts –

lint-php.yml

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

Annotations

2 notices
php-lint (8.3)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
php-lint (8.5)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"