ci: skip the pipeline for docs-only pushes

Half of today's pushes were documentation, and each cost a full ~7-minute
clean build, 14k tests, and a 121 MB release for changes no test can fail on.
Pushes touching only docs/, the memory trees, or markdown no longer trigger
the gate; any code path still runs the full uncached pipeline, and manual
dispatch is always available.

Deliberately NOT build caching instead: the gate's value is proving a
from-nothing build (what a friend's machine does), and stale bin/obj serving
deleted code is a documented past failure class in this repo.

.gitea/workflows/ci.yml

@@ -13,6 +13,15 @@ name: CI
 on:
   push:
     branches: [main]
+    # Docs-only pushes change nothing a test can fail on, and each gate run is
+    # ~7 minutes of clean build + 14k tests + a 121 MB release. Skip them; a
+    # code push (or manual dispatch) still runs everything from scratch —
+    # deliberately uncached, so the gate keeps proving a from-nothing build.
+    paths-ignore:
+      - 'docs/**'
+      - 'claude-memory/**'
+      - 'memory/**'
+      - '**.md'
   workflow_dispatch:
 
 jobs: