Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
От 13.12.2023. Виж последната версия.
Има други версии на този скрипт, където кодът е обновен. Покажи всички версии.
