Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Від 13.12.2023. Дивіться остання версія.
Це версії цього скрипту, де код був змінений. Показати всі версії.
