Skip to content
Lint php

[stable30] fix(files): catch race condition in FilesWorkspaceHeader init #7633

Sign in to view logs

[stable30] fix(files): catch race condition in FilesWorkspaceHeader init

[stable30] fix(files): catch race condition in FilesWorkspaceHeader init #7633

Triggered via pull request December 5, 2024 10:04
@skjnldsvskjnldsv
synchronize #6735
backport/6733/stable30
Status Success
Total duration 1m 26s
Artifacts –

lint-php.yml

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