Hi devs, A few months ago a proposal was brought up regarding blocking the merge button on the github PR page in case of failing tests in the precheck.
What is the sentiment regarding this now? Do we feel that it should be implemented? Or at least take the minimal step of not allowing merge till all tests are done? Regards Nabarun Nag
