Skip to content
Lint php

[stable3.7] fix: move delete duplicate uids repair step to a job #4045

Sign in to view logs

[stable3.7] fix: move delete duplicate uids repair step to a job

[stable3.7] fix: move delete duplicate uids repair step to a job #4045

Triggered via pull request July 16, 2024 13:29
@backportbotbackportbot[bot]
opened #9867
backport/9864/stable3.7
Status Success
Total duration 23m 36s
Artifacts –

lint-php.yml

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