Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Versão de: 13/12/2023. Veja: a última versão.
Estas são as versões deste script em que houve atualização do código. Mostar todas versões.
