Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
