.github/workflows/docs.yml → .github/workflows/doc-build.yml

@@ -1,7 +1,9 @@
-name: Build and Deploy Documentation
+name: Build Documentation
 
-on: [push, pull_request]
+on: [workflow_call, pull_request]
 
+permissions:
+  contents: write
 
 jobs:
   build:
@@ -41,9 +43,13 @@ jobs:
     - name: Copy redirection index.html
       run: cp github_pages/redirect_index.html build/html/index.html
 
-    - name: Deploy to GitHub Pages
-      uses: peaceiris/actions-gh-pages@v4
+    - name: Zip documentation
+      run: |
+        mv build/html docs
+        zip -r docs.zip docs
+
+    - name: Upload docs
+      uses: actions/upload-artifact@v4
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: doc/build/html
-        force_orphan: true
+        name: docs
+        path: ./doc/docs.zip

.github/workflows/doc-publish.yml

@@ -0,0 +1,32 @@
+name: Publish Documentation
+
+on:
+  push:
+    branches:
+      - main
+
+permissions:
+  contents: write
+
+jobs:
+  build-docs:
+    uses: ./.github/workflows/doc-build.yml
+
+  publish-docs:
+    runs-on: ubuntu-latest
+    needs: build-docs
+    steps:
+      - name: Download build documentation
+        uses: actions/download-artifact@v4
+        with:
+          name: docs
+
+      - name: Unzip
+        run: unzip docs.zip
+
+      - name: Deploy to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: docs
+          force_orphan: true

.github/workflows/format.yml

@@ -13,7 +13,7 @@ jobs:
 
       - name: Install treefmt
         run: |
-          curl -L https://github.com/numtide/treefmt/releases/download/v2.0.5/treefmt_2.0.5_linux_amd64.tar.gz -o treefmt.tar.gz
+          curl -L https://github.com/numtide/treefmt/releases/download/v2.1.0/treefmt_2.1.0_linux_amd64.tar.gz -o treefmt.tar.gz
           tar -xvzf treefmt.tar.gz
           install -m 755 treefmt $HOME/.local/bin
           rm LICENSE README.md treefmt treefmt.tar.gz
@@ -33,7 +33,6 @@ jobs:
       - uses: actions/checkout@v4
 
       - name: Check code format
-        continue-on-error: true
         run: |
           treefmt
           git diff --exit-code

.github/workflows/release.yml

@@ -0,0 +1,27 @@
+name: Publish Release
+
+on:
+  push:
+    tags:
+      - "v*.*"
+
+jobs:
+  build-docs:
+    uses: ./.github/workflows/doc-build.yml
+
+  create-release:
+    runs-on: ubuntu-latest
+    needs: build-docs
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Download build documentation
+        uses: actions/download-artifact@v4
+        with:
+          name: docs
+
+      - name: Release
+        uses: softprops/action-gh-release@v2
+        with:
+          files: docs.zip

.treefmt.toml

@@ -1,6 +1,7 @@
 [global]
 excludes = [
   "**/3rdparty/*/**",
+  "**/Doxyfile",
   "**/Makefile",
   "*.*-format",
   "*.S",