Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow local phpunit.xml #734

Merged
merged 3 commits into from
Dec 2, 2024
Merged

Conversation

bumbummen99
Copy link
Collaborator

Allow the use of a local phpunit.xml configuration that is not checked into the git repository.

@bumbummen99 bumbummen99 self-assigned this Dec 2, 2024
@bumbummen99 bumbummen99 merged commit bdcea91 into v3 Dec 2, 2024
12 checks passed
@bumbummen99 bumbummen99 deleted the maintenance/respect-phpunit.dist,xml branch December 2, 2024 04:07
@coveralls
Copy link

Coverage Status

coverage: 93.402%. remained the same
when pulling 00ce7e3 on maintenance/respect-phpunit.dist,xml
into adbfd0f on v3.

@scrutinizer-notifier
Copy link

The inspection completed: No new issues

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants