deploy to gh-pages

Author: songmeo

.github/workflows/build.yml

@@ -3,6 +3,11 @@
 name: CI
 on: push
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -33,6 +38,11 @@ jobs:
         path: docs/Cyphal_Specification.pdf
         if-no-files-found: error
 
+    - name: Deploy to GitHub Pages
+      uses: actions/deploy-pages@v4
+      with:
+        token: ${{ secrets.GITHUB_TOKEN }}
+
     - name: Upload diagnostic snapshot
       uses: actions/upload-artifact@v4
       if: always()