Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.
