From aafd19e7c9cb20c590435d251395ad3e81f43745 Mon Sep 17 00:00:00 2001
From: Jakub Zelenka <bukka@php.net>
Date: Fri, 19 Apr 2024 15:00:00 +0100
Subject: [PATCH] CI: Skip building docs if GitHub repository is not php-src

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 8de9909ffe988..2254b8f037e54 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -14,6 +14,7 @@ jobs:
     permissions:
       pages: write
       id-token: write
+    if: github.repository == 'php/php-src'
     steps:
       - name: git checkout
         uses: actions/checkout@v4