Update CI to deploy directly to GitHub Pages (#2230)

.github/workflows/doxygen.yml

@@ -6,14 +6,23 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     steps:
-    - uses: actions/checkout@v4
+    - name: Checkout
-    - name: generate docs
+      uses: actions/checkout@v4
+    - name: Run Doxygen
       uses: mattnotmitt/doxygen-action@v1
       with:
-        doxyfile-path: 'Doxyfile'
+        doxyfile-path: Doxyfile
-    - name: deploy docs to github pages
+    - name: Upload static files as artifact
-      uses: peaceiris/actions-gh-pages@v4
+      uses: actions/upload-pages-artifact@v3
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
+        path: docs/doxygen/html/
-        publish_dir: ./docs/doxygen/html
+    - name: Deploy to GitHub Pages
+      uses: actions/deploy-pages@v4
+      id: deployment