From 3658d502fff9fb981d670aa79956a0f26e3cab2c Mon Sep 17 00:00:00 2001
From: Jason Ish <jason.ish@oisf.net>
Date: Sun, 9 Mar 2025 10:27:18 +0100
Subject: [PATCH] github-ci: don't run builds on PR if only docs changed

---
 .github/workflows/builds.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 1b53c35523..f0e359464f 100644
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -7,6 +7,10 @@ on:
       # modified.
       - "doc/**"
   pull_request:
+    paths-ignore:
+      # Don't run this workflow if only files under doc/ have been
+      # modified.
+      - "doc/**"
   workflow_dispatch:
     inputs:
       LIBHTP_REPO: