From 9e7f6f142dcb0c6827d073d5d50d0e1f2a761930 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Fri, 23 Feb 2024 10:09:03 -0800
Subject: [PATCH] Adjust CI pages deployment check for forks.

---
 .github/workflows/docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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