What is the recommended practice to follow in such cases:
- push an empty commit to re-trigger the workflow or
- ask (ping) someone of the developers to manually restart the workflow or
- do nothing and just wait (but I’m not sure if anyone will look at a PR with a red cross) or
- anything else?