Closed JeroenDeDauw closed 8 years ago
Look at the code coverage badge after this got merged :)
Adopted so we only do the additional phpunit run on php 7.0 (once).
Untested… but I assume that this is plain bash.
Looks good for me now. @JeroenDeDauw, I suggest you merge this now when Marius' change is ok for you.
Still need to check now if it really works :)
:+1:
Is there an obvious way to confirm this is correct?