Only build documentation if files under docs folder changed

Author: r0qs

.circleci/config.yml

@@ -35,9 +35,19 @@ parameters:
   evm-version:
     type: string
     default: prague
+  # Path filtering parameters
+  # Main workflow
+  run-workflow:
+    type: boolean
+    default: true
+  # Documentation workflow
+  run-docs-workflow:
+    type: boolean
+    default: false
 
 orbs:
   win: circleci/[email protected]
+  path-filtering: circleci/[email protected]
 
 commands:
   matrix_notify_unless_pr:
@@ -1872,7 +1882,23 @@ jobs:
 workflows:
   version: 2
 
+  setup:
+    when: << pipeline.parameters.run-workflow >>
+    jobs:
+      - path-filtering/filter:
+          name: filter-docs
+          mapping: |
+            docs/.* run-docs-workflow true
+          base-revision: develop
+          config-path: .circleci/config.yml
+
+  docs:
+    when: << pipeline.parameters.run-docs-workflow >>
+    jobs:
+      - b_docs: *requires_nothing
+
   main:
+    when: << pipeline.parameters.run-workflow >>
     jobs:
       # basic checks
       - chk_spelling: *requires_nothing
@@ -1887,8 +1913,6 @@ workflows:
       - t_ubu_pyscripts: *requires_nothing
       - t_win_pyscripts: *requires_nothing
 
-      # build-only
-      - b_docs: *requires_nothing
       - b_ubu_ossfuzz: *requires_nothing
       - b_ubu_2204: *requires_nothing
       - b_ubu_2204_clang: *requires_nothing