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