This should avoid the situation of multiple github workflows per PR and multiple github comments without any failures to be notified. No-Op as a github comment in this case