From 4a9d0814909953b9ac22782e9770673a6d5f7547 Mon Sep 17 00:00:00 2001 From: Jason Ish Date: Sun, 9 Mar 2025 10:27:18 +0100 Subject: [PATCH] github-ci: don't run builds on PR if only docs changed (cherry picked from commit 3658d502fff9fb981d670aa79956a0f26e3cab2c) --- .github/workflows/builds.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 9e695df379..155ecc12b7 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: -- 2.47.2