Ignore docs in github CI

OmeletWithoutEgg · Sep 30, 2023 · f7528e4 · f7528e4
1 parent fec7466
commit f7528e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,6 +8,7 @@ on:
   push:
     branches: [ master ]
     paths-ignore:
+      - 'docs/*'
       - 'pdf/codebook.pdf'
       - 'README.md'
       - '.editorconfig'