Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Queste sono tutte le versioni di questo script. Mostra solo le versioni in cui è cambiato il codice
