Skip to content

Merge pull request #3740 from nextcloud/Fix/rename-types #2958

Merge pull request #3740 from nextcloud/Fix/rename-types

Merge pull request #3740 from nextcloud/Fix/rename-types #2958

Triggered via push December 14, 2023 10:25
Status Success
Total duration 3m 1s
Artifacts

lint-php.yml

on: push
Matrix: php-lint
php-lint-summary
5s
php-lint-summary
Fit to window
Zoom out
Zoom in