Merge branch 'dev' into feature/workflows_final

.github/workflows/pkgdown.yaml

@@ -85,4 +85,4 @@
  git config --global user.name "Actions Robot From Github Actions"
  git add .
  git commit -m "Update gh pages from the PR"
- git push
+ git push