Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Version vom 13.12.2023. Aktuellste Version
Das sind Skriptversionen, bei denen der Quelltext aktualisiert wurde. Alle Versionen anzeigen.
