Merge branch 'dev' into stable

Author: albin-johansson

.github/workflows/doxygen.yml

@@ -36,7 +36,7 @@ jobs:
         run: doxygen
 
       - name: Deploy to GH Pages
-        uses: JamesIves/github-pages-deploy-action@4.2.5
+        uses: JamesIves/github-pages-deploy-action@4.3.2
         with:
           branch: gh-pages
           folder: doxygen-out/html