From e7e04b7c15b73100d260c240408295da378dede2 Mon Sep 17 00:00:00 2001
From: Giorgio Mendieta <31053658+GiorgioMendieta@users.noreply.github.com>
Date: Thu, 28 May 2026 07:39:30 +0200
Subject: [PATCH] Skip CI build jobs on documentation-only changes (#1768)

* feat: don't build on PRs that only change documents

* fix: ignore docs/** on push
---
 .github/workflows/build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7c0cc1b846..88e20dcdf8 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -5,7 +5,12 @@ on:
     paths-ignore:
       - '*.md'
       - '*LICENSE'
+      - 'docs/**'
   pull_request:
+    paths-ignore:
+      - '*.md'
+      - '*LICENSE'
+      - 'docs/**'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.pull_request.number) || format('run-{0}', github.run_id) }}