[ci] Fix path filters

Author: rossberg

.github/workflows/ci-interpreter.yml

@@ -3,11 +3,11 @@ name: CI for interpreter & tests
 on:
   push:
     branches: [ main ]
-    paths: [ interpreter, test ]
+    paths: [ interpreter/**, test/** ]
 
   pull_request:
     branches: [ main ]
-    paths: [ interpreter, test ]
+    paths: [ interpreter/**, test/** ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:

.github/workflows/ci-spec.yml

@@ -3,11 +3,11 @@ name: CI for specs
 on:
   push:
     branches: [ main ]
-    paths: [ document ]
+    paths: [ document/** ]
 
   pull_request:
     branches: [ main ]
-    paths: [ document ]
+    paths: [ document/** ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: