Closed sanket1729 closed 5 years ago
Another bug in travis PR which did not allow other PRs from outside from initc3/HoneyBadgerMPC to build on it.
It looks ok. With each PR on this the .ci tells us that it doesn't break builds from our own repo, but need to keep trying until external PRs get built too.
Another bug in travis PR which did not allow other PRs from outside from initc3/HoneyBadgerMPC to build on it.