Skip to content

fix(files): catch race condition in FilesWorkspaceHeader init #7632

fix(files): catch race condition in FilesWorkspaceHeader init

fix(files): catch race condition in FilesWorkspaceHeader init #7632

Triggered via pull request December 5, 2024 08:18
Status Success
Total duration 2m 2s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-php.yml

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