Merge pull request 'docs' (#8) from dev into master

Reviewed-on: #8

.gitea/workflows/deploy-docs.yaml

@@ -2,6 +2,10 @@ name: Deploy Documentation Local
 run-name: Deploying ${{ gitea.repository }} docs locally
 
 on:
+  pull_request:
+    types: [closed]
+    branches: [main]
+    paths: ["docs/**", "mkdocs.yml", ".gitea/workflows/deploy-docs.yaml"]
   push:
     branches: [main]
     paths: ["docs/**", "mkdocs.yml", ".gitea/workflows/deploy-docs.yaml"]