Skip to content
PHP Code Linting

CLI: add option to exclude directories #692

Sign in to view logs

CLI: add option to exclude directories

CLI: add option to exclude directories #692

Triggered via pull request October 31, 2023 10:22
@swissspidyswissspidy
synchronize #311
fix/309
Status Success
Total duration 1m 6s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

php-lint.yml

on: pull_request
PHP
52s
PHP
Fit to window
Zoom out
Zoom in