From b65a9020ac3392f6a53960ea5a410a1cd4ed37b0 Mon Sep 17 00:00:00 2001
From: Pierre Brisorgueil <pierrebrisorgueil@me.com>
Date: Wed, 21 Oct 2026 16:23:31 +0200
Subject: [PATCH] ci: run CI on every pull request

Master now requires the CI checks. A docs-only PR skipped CI, so it could never merge.

Claude-Session: https://claude.ai/code/session_01WUHv6mXE1DorM94XZFAv5y
---
 .github/workflows/CI.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index ce86f0069..9708d231c 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -9,10 +9,6 @@ on:
       - '.claude/**'
   pull_request:
     branches: [master]
-    paths-ignore:
-      - '**/*.md'
-      - 'documentation/**'
-      - '.claude/**'
 
 concurrency:
   group: ci-${{ github.ref }}