Skip to content
Lint php

fix: Avoid race condition that may initialize a document twice on the clients #5622

Sign in to view logs

fix: Avoid race condition that may initialize a document twice on the clients

fix: Avoid race condition that may initialize a document twice on the clients #5622

Triggered via pull request March 13, 2024 08:25
@juliusknorrjuliusknorr
opened #5470
fix/duplicate-document-init-race
Status Success
Total duration 2m 15s
Artifacts –

lint-php.yml

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