Merge branch 'main' into dev

Author: Henri-ColibrITD

.github/workflows/doc.yml

@@ -11,7 +11,7 @@ on:
 jobs:
   build_publish_docs:
     # Deploy to cloudflare
-    if: github.event.pull_request.merged == true
+    if: github.event_name == 'release' || github.event.pull_request.merged == true
     runs-on: ubuntu-latest
     steps:
       - name: Checkout