Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
These are versions of this script where the code was updated. Show all versions.
