diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 869543d3..f945a578 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -10,7 +10,7 @@ on:
     paths-ignore:
       - 'ChangeLog'
       - 'README*'
-      - 'TODO'
+      - 'TODO*'
   pull_request:
   schedule:
     # Building regularly with cron makes it safe for us to use