Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Från och med 2023-12-13. Se den senaste versionen.
Dessa är versionerna av skriptet där koden uppdaterades. Visa alla versioner.
