Disable CI-based github page deployment for forks. - Githubissues

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

BSD 3-Clause "New" or "Revised" License

1.14k stars 126 forks source link

Disable CI-based github page deployment for forks. #1633

Closed kquick closed 9 months ago