Fix the CI
esttorhe opened this issue · comments
Currently Circle CI stopped giving us access to their OS X boxes.
Talked briefly with them over Twitter; need to send an email to sort out the issues.
Until then all PRs need to be locally tested before merging and admins should «override» the lock when merging a failing/non tested PR.
Fixed with 148919d by replacing CircleCI with Travis