Posible fix to docs generation in github pages 13

.github/workflows/documentation.yml

@@ -1,6 +1,6 @@
 name: documentation
 
-on: [push, pull_request, workflow_dispatch]
+on: [push]
 
 permissions:
   contents: write