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 _______________________________________________ python-committers mailing list python-committers@python.org https://mail.python.org/mailman/listinfo/python-committers Code of Conduct: https://www.python.org/psf/codeofconduct/
