Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Verze ze dne 13. 12. 2023. Zobrazit nejnovější verzi.
Seznam verzí skriptu, při kterých došlo ke změnám v kódu. Zobrazit všechny verze.
