Adds a button to retry all failed jobs on a GitHub PR page
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
