Don't run CI on any documentation update

dmnks · dmnks · commit dd3fe7cad7bd · 2025-10-09T10:44:01.000+02:00
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -3,6 +3,11 @@ name: Linux CI
 on:
   push:
     paths-ignore: &docfiles
+      - '**.md'
+      - 'COPYING'
+      - 'CREDITS'
+      - 'INSTALL'
+      - 'README'
       - 'docs/**'
   pull_request:
     paths-ignore: *docfiles
