GitHub is showing the Merge pull request button before all test have passed. It is also showing CI tests for `push`. This should not be happening. <img width="613" alt="Screenshot 2023-07-14 at 13 09 29" src="https://github.com/lampepfl/dotty/assets/3648029/b8fec697-1cab-4aca-b724-30dceb26ac18"> _Originally posted by @nicolasstucki in https://github.com/lampepfl/dotty/issues/18208#issuecomment-1635705201_