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