Skip to content

Use the correct version 9 of PHPUnit#3508

Merged
LeoColomb merged 2 commits intomasterfrom
fix/phpunit-10
Feb 5, 2023
Merged

Use the correct version 9 of PHPUnit#3508
LeoColomb merged 2 commits intomasterfrom
fix/phpunit-10

Conversation

@LeoColomb
Copy link
Copy Markdown
Member

Fix current GitHub Actions builds

@LeoColomb LeoColomb requested a review from a team February 4, 2023 23:16
@LeoColomb LeoColomb mentioned this pull request Feb 4, 2023
@LeoColomb LeoColomb merged commit e54d3ba into master Feb 5, 2023
@LeoColomb LeoColomb deleted the fix/phpunit-10 branch February 5, 2023 00:01
@ozh
Copy link
Copy Markdown
Member

ozh commented Feb 12, 2023

Some inconsistencies on GH : it will randomly not find phpunit, in any PHP version :
image

Re-running the job fixes the problem.

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