Completed
Pull Request — 2.5 (#3009)
by Han Hui
09:11 queued 03:20
created

No notable changes

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

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