diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 8046f193..a5881b83 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -47,7 +47,8 @@ jobs:
             -p 'python3.withPackages (pp: [pp.sphinx pp.sphinx_rtd_theme])' \
             --run 'make html'
   build-pages-docs:
-    if: github.repository == "GaloisInc/cryptol"
+    # Do not run this on forks:
+    if: github.event.pull_request.head.repo.fork == false
     runs-on: ubuntu-latest
     # The public interface should then allow the user to browse the cryptol
     # documentation at the master branch, but also the documentation associated