remove anchors

Author: Massimiliano Pippi

Diff for: .github/workflows/docs.yaml

@@ -2,7 +2,7 @@ name: docs
 
 on:
   pull_request:
-    paths: &p
+    paths:
       # existing docs
       - 'docs/**'
       # changes to the cli reference generator
@@ -14,8 +14,12 @@ on:
   push:
     branches:
       - master
+    # At this day, GitHub doesn't support YAML anchors, d'oh!
     paths:
-      <<: *p
+      - 'docs/**'
+      - 'docsgen/**'
+      - 'cli/**'
+      - 'rpc/**'
 
 jobs:
   build: