Completed
Pull Request — 2.5 (#3009)
by Han Hui
07:00 queued 02:09
created

No notable changes

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

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