exclude more documentation files from CI

Author: rolandwalker

.github/workflows/ci.yml

@@ -4,6 +4,11 @@ on:
   pull_request:
     paths-ignore:
       - '**.md'
+      - 'LICENSE.txt'
+      - 'AUTHORS.rst'
+      - 'SPONSORS.rst'
+      - 'doc/**/*.txt'
+      - 'doc/**/*.rst'
       - '**/AUTHORS'
       - '**/SPONSORS'
       - '**/TIPS'

.github/workflows/lint.yml

@@ -4,6 +4,11 @@ on:
   pull_request:
     paths-ignore:
       - '**.md'
+      - 'LICENSE.txt'
+      - 'AUTHORS.rst'
+      - 'SPONSORS.rst'
+      - 'doc/**/*.txt'
+      - 'doc/**/*.rst'
       - '**/AUTHORS'
       - '**/SPONSORS'
       - '**/TIPS'

.github/workflows/typecheck.yml

@@ -4,6 +4,11 @@ on:
   pull_request:
     paths-ignore:
       - '**.md'
+      - 'LICENSE.txt'
+      - 'AUTHORS.rst'
+      - 'SPONSORS.rst'
+      - 'doc/**/*.txt'
+      - 'doc/**/*.rst'
       - '**/AUTHORS'
       - '**/SPONSORS'
       - '**/TIPS'

changelog.md

@@ -21,6 +21,7 @@ Internal
 * Update key feature list in `README.md`, syncing with web.
 * Sync prompt format string commentary with web.
 * Add a GitHub Actions workflow to run Codex review on pull requests.
+* Exclude more documentation files from CI.
 
 
 1.53.0 (2026/02/12)