Skip to content

Fix opening file after rename in COOL #1078

Fix opening file after rename in COOL

Fix opening file after rename in COOL #1078

Triggered via pull request December 6, 2023 10:09
Status Success
Total duration 25m 53s
Artifacts

lint-php.yml

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