Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Voici toutes les versions de ce script. Voir uniquement les versions où le code a été modifié.
