github-ci: don't run builds on PR if only docs changed

5 months ago · 3658d502ff
parent ed30e95a09
commit 3658d502ff
1 changed files with 4 additions and 0 deletions
--- 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: