Rework doxygen CI

Author: gavv

.github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: build
+name: "build"
 
 on:
   push:
@@ -16,8 +16,14 @@ on:
   schedule:
     - cron: '0 0 * * 1'
 
+permissions:
+  contents: read
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+
 jobs:
-  build:
+  main:
     strategy:
       matrix:
         macos: [latest, 15, 14, 13]
@@ -31,6 +37,10 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: Install doxygen
+        run: |
+          brew install --formula doxygen graphviz
+
       - name: Release build
         run: make release_build
 
@@ -45,29 +55,3 @@ jobs:
 
       - name: Install
         run: sudo make install
-
-  doxygen:
-    runs-on: macos-latest
-    if: github.event_name != 'pull_request'
-
-    steps:
-      - name: Install tools
-        run: brew install --formula doxygen graphviz
-
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-
-      - name: Build
-        run: make debug_build
-
-      - name: Prepare
-        run: touch html/.nojekyll
-
-      - name: Deploy
-        uses: JamesIves/github-pages-deploy-action@v4.6.8
-        with:
-          branch: doxygen
-          folder: html
-          single-commit: true

.github/workflows/doxygen.yml

@@ -0,0 +1,60 @@
+name: "doxygen"
+
+on:
+  push:
+    branches:
+      - main
+
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+
+jobs:
+  build:
+    outputs:
+      page-url: ${{ steps.upload.outputs.page_url }}
+
+    runs-on: macos-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Install doxygen
+        run: |
+          brew install --formula doxygen graphviz
+
+      - name: Build code and html
+        run: |
+          make debug_build
+          touch html/.nojekyll
+
+      - if: |
+          github.repository_owner == 'gavv' && github.ref == 'refs/heads/main'
+        name: Upload html
+        id: upload
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: html/
+
+  deploy:
+    if: |
+      github.repository_owner == 'gavv' && github.ref == 'refs/heads/main'
+
+    needs: build
+    environment:
+      name: github-pages
+      url: ${{ needs.build.outputs.page-url }}
+    permissions:
+      pages: write
+      id-token: write
+
+    runs-on: macos-latest
+    steps:
+      - name: Deploy
+        uses: actions/deploy-pages@v4