Right now you can still merge if fails and the mistakes are hidden unless you click "Details" to view them since no PR comments.
Right now you can still merge if fails and the mistakes are hidden unless you click "Details" to view them since no PR comments.