Adds a button to retry all failed jobs on a GitHub PR page
queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.
