Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Dette er alle versjonene av dette scriptet. Vis kun versjoner hvor koden er endret.
