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.
Detta är versioner av skriptet där koden uppdaterats. Visa alla versioner.
