Docs: deploy documentation after PR merge (kokkos#2513)

Signed-off-by: Luc Berger-Vergiat <[email protected]>

Author: lucbv

.github/workflows/docs.yml

@@ -3,6 +3,8 @@ name: github-DOCS
 on:
   pull_request:
     types: [ opened, reopened, synchronize ]
+  push:
+    branches: [ develop ]
 
 permissions:
   contents: none