From d030ffa41d8127833fa5f9b8dcb0b938e840d6c7 Mon Sep 17 00:00:00 2001
From: jrfnl <jrfnl@users.noreply.github.com>
Date: Mon, 31 Jul 2023 17:53:25 +0200
Subject: [PATCH] GH Actions: auto-skip CI on PRs containing only docs changes

As per https://github.com/php/php-src/pull/11838#issuecomment-1658648817
---
 .github/workflows/push.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 35519428a166e..3d1c75497805e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -16,6 +16,14 @@ on:
       - PHP-8.2
       - master
   pull_request:
+    paths-ignore:
+      - docs/*
+      - NEWS
+      - UPGRADING
+      - UPGRADING.INTERNALS
+      - README.md
+      - CONTRIBUTING.md
+      - CODING_STANDARDS.md
     branches:
       - '**'
 permissions: