From edb13b60e9d32d5cd09e6c8f2e4dd6ca6efc0b28 Mon Sep 17 00:00:00 2001
From: Jakub Zelenka <bukka@php.net>
Date: Fri, 19 Apr 2024 16:44:28 +0100
Subject: [PATCH] CI: Skip building docs if GitHub repository is not php-src
 (#14006)

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 8de9909ffe9..2254b8f037e 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