Completed
Pull Request — 2.5 (#3009)
by Kévin
06:27 queued 13s
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.15
▶   ± 0
Head
Kévin Dunglas  
Merge 3322e016011262fa57a6462608a3290887729cf0 into d2e7cf7a5fc9ef5707db82e429918cba5ebab52e
5 more commits
Base
Teoh Han Hui  
Merge pull request #3207 from teohhanhui/no-separate-coverage-jobs