diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 63c55fa082..3dabae5ea6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,6 +22,7 @@ on:
       - '!docs/**'
       - '!release_notes.md'
       - '!outdated/**'
+      - '!AGENTS.md'
       - 'docs/options.md'
 ### Unfortunately, had to disable this. Originally added to be able to run CI from PRs from forks (eg from external people).
 ### But this leads to run CI 2 twice on each push on an open PR, regardless of fork.