Feb. 14, 2017
12:10 p.m.
Hi,
Would it be possible to modify the workflow of GitHub pull requests to allow to click on Merge, but only merge a PR once tests complete and only if tests pass?
If some tests start to become too annoying for the pre-commit CI, we can try to fix them, or even disable them in the CI to only rely on post-commit buildbots.
Victor