Skip to content

Reset document session on filesystem change #5647

Reset document session on filesystem change

Reset document session on filesystem change #5647

Triggered via pull request March 14, 2024 07:14
Status Success
Total duration 2m 20s
Artifacts

lint-php.yml

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