Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.
