From e916a6cecc0cc1f047d8e7c22e1d74be24fc9bff Mon Sep 17 00:00:00 2001
From: Andrea Mastellone <drdrrae@gmail.com>
Date: Mon, 8 Dec 2025 21:36:12 -0500
Subject: [PATCH] Add paths-ignore to main.yml workflow

Ignore specific paths in workflow triggers.
---
 .github/workflows/main.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 03097c8..5a7b3bc 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -7,6 +7,13 @@ on:
   # Triggers the workflow on push or pull request events but only for the main branch
   push:
     branches: [ main ]
+    paths-ignore:
+      - 'README.md'
+      - 'TODO.md'
+      - 'CHANGELOG.md'
+      - 'Docs/**'
+      - 'Reference/**'
+      - 'build_scripts/**'
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: