Merge branch 'main' into feat/in-doc-search

Author: thecoolwinter

.github/workflows/build-documentation.yml

@@ -20,7 +20,7 @@ jobs:
           git commit -m 'deploy'
         
       - name: Force push to destination branch
-        uses: ad-m/github-push-action@v0.6.0
+        uses: ad-m/github-push-action@v0.8.0
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           branch: docs