Skip to content

Fix opening file after rename in COOL #1083

Fix opening file after rename in COOL

Fix opening file after rename in COOL #1083

Triggered via pull request December 6, 2023 17:45
Status Success
Total duration 5m 46s
Artifacts

lint-php.yml

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