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
@@ -40,3 +45,14 @@ jobs:
         name: workspace-${{github.job}}
         path: '*'
         retention-days: 3
+
+    - name: Upload GitHub Pages artifact
+      uses: actions/upload-pages-artifact@v3
+      with:
+        name: Cyphal Specification
+        path: docs/
+
+    - name: Deploy to GitHub Pages
+      uses: actions/deploy-pages@v4
+      with:
+        token: ${{ secrets.GITHUB_TOKEN }}