During outage: GitHub Status - Incident with GitHub Actions, Git Operations, and GitHub Packages
I have made pushes to our master branch: Commits · cbg-ethz/V-pipe · GitHub,
but unlike previous commit (e.g. 307c5119e84d55b7b64bd4c194e28325fc438926),
this last commit did not trigger any action due to the outage: 04f490ba51d329141cbeb39dc79fd5f58610693d.
What is the current prefered method to force github to reconsider actions it might have missed during an outage? Thank you very much.