Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Fra og med 13.12.2023. Se den nyeste version.
Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.
