Ignore some paths for triggering build in CI

Jay Berkenbilt
1 parent b868ea14
Showing 1 changed file with 4 additions and 0 deletions
.github/workflows/main.yml
@@ -8,6 +8,10 @@ on:
       - master
       - build
       - build/*
+    paths-ignore:
+      - 'ChangeLog'
+      - 'README*'
+      - 'TODO'
   pull_request:
 jobs:
   Distfiles: