How to reset Workflow Actions that weren’t run due to a GitHub incident?

GitHub Actions were unavailable for some time and PRs created in this time did not trigger any actions. After the functionality was restored the PRs did not pick up the status correctly and don’t even have a Re-run jobs button.