GitHub Restart Button on PR
k.bigwheel (Kazufumi Nishida)
From a GitHub Pull Request page, to re-start GitHub Actions workflows needs many steps. 1. Open a `details` link 2. Push `Re-run jobs` gray button 3. Select Mode `Re-run failed jobs` or `Re-run all jobs` 4. Push `Re-run jobs` green button This extension makes those steps easier. 1. Push `Restart` button in PR page (see screenshot)
