Update build.yml

Do not run build when submitting PR for docs
odan · Oct 19, 2023 · d7f0fb7 · d7f0fb7
1 parent 7c72596
commit d7f0fb7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,6 +1,10 @@
 name: build
 
-on: [ push, pull_request ]
+on:
+  push:
+  pull_request:
+      paths-ignore:
+      - 'docs/**'
 
 jobs:
   run: