Adds a button to retry all failed jobs on a GitHub PR page
These are all versions of this script. Show only the versions where the code changed.
