Only build docs on PR when they change

dyninst · Apr 3, 2024 · ad4ae35 · ad4ae35
1 parent 5d4610b
commit ad4ae35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -4,7 +4,7 @@ name: Documentation
 on:
   pull_request:
     branches: [ master ]
-#    paths: [ docs ]
+    paths: [ docs ]
   workflow_dispatch:
 
 jobs: