Remove filter on documentation trigger event

This commit is for test purpose only, it should be removed before merging the PR.
ocaml-gospel · Dec 2, 2024 · dfa77b7 · dfa77b7
1 parent 4f95929
commit dfa77b7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -3,8 +3,8 @@ name: documentation
 on:
   pull_request:
     branches: [main]
-    paths:
-      - 'docs/**'
+    # paths:
+    #   - 'docs/**'
   push:
     branches: [main]
     paths: