Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix CI #1164
This PR is best reviewed commit by commit.
There were two essential issues that had the Continuous Integration environment wedged.
Fixing the later involved refactoring the server setup to reuse a common
Contrary to best practice, this PR also includes a few fixups and optimizations:
@@ Coverage Diff @@ ## master #1164 +/- ## ======================================= Coverage 64.68% 64.68% ======================================= Files 41 41 Lines 3112 3112 ======================================= Hits 2013 2013 Misses 757 757 Partials 342 342