Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Fra 13.12.2023. Se den seneste versjonen.
Dette er versjoner av dette scriptet hvor koden ble oppdatert. Vis alle versjoner.
