bug #43: fix doc not updated when pushed to main

Author: FabienDanieau

.github/workflows/docs.yml

@@ -46,7 +46,7 @@ jobs:
 
   publish-docs:
     needs: build-docs
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    if: github.ref == 'refs/heads/main'
     runs-on: ubuntu-22.04
     steps:
     - name: Download Documentation