CI: install MongoDB stuff only when needed, upgrade to PHPUnit 8#2484
Closed
dunglas wants to merge 2 commits into
Closed
CI: install MongoDB stuff only when needed, upgrade to PHPUnit 8#2484dunglas wants to merge 2 commits into
dunglas wants to merge 2 commits into
