@slacmshankar
I think it would be good to add protection to the master branch of the repo. So only pull requests can be merged in. That way the tests from the github actions have to pass before a merge is allowed (other than special cases of course).
@slacmshankar I think it would be good to add protection to the master branch of the repo. So only pull requests can be merged in. That way the tests from the github actions have to pass before a merge is allowed (other than special cases of course).
Let me know what you think.