Closed tmadlener closed 3 years ago
@andresailer Github actions are not triggered in this PR. I looked in the repository settings and couldn't find where to add github actions to the required statuses to pass for PRs. Any idea?
@andresailer @tmadlener No way to trigger github actions. Can it be possible that we have to merge this before it triggers Github actions?
I am actually not sure. The github actions seem to run succesfully though: https://github.com/tmadlener/SIO/actions/runs/480911173
So at least this shouldn't break anything.
I suggest we try to merge this and see. @tmadlener After the merge, wait a bit before rebasing the other PR.
BEGINRELEASENOTES
ENDRELEASENOTES
Does github actions have something like coverity scan? I think apart from that this should be pretty much equivalent to what was done before.