Fix github pages deployment (#616)

* Fix deployment

* TMP: For testing only

* Tweak

* Revert "TMP: For testing only"

This reverts commit 287febd.

* Update labeler

.github/labeler.yml

@@ -23,12 +23,17 @@
 - changed-files:
   - any-glob-to-any-file: zero_bin/**
 
-# Add 'specs' label to any changes within 'docs' folder.
+# Add 'specs' label to any changes within 'docs' or `book` folder.
 'specs':
 - changed-files:
-  - any-glob-to-any-file: docs/**
+  - any-glob-to-any-file: ['docs/**', 'book/**']
 
 # Add 'crate: common' label to any changes within 'common' folder.
 'crate: common':
   - changed-files:
       - any-glob-to-any-file: common/**
+
+# Add 'ci' label to any changes within '.github' folder.
+'ci':
+  - changed-files:
+      - any-glob-to-any-file: .github/**

.github/workflows/book.yml

@@ -35,12 +35,25 @@ jobs:
       - name: Build book
         run: mdbook build book
 
+      - name: Upload built book
+        uses: actions/upload-artifact@v3
+        with:
+          name: built-mdbook
+          path: ./book/book
+
   deploy:
     if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/develop')
     runs-on: ubuntu-latest
     needs: build
     steps:
       - uses: actions/checkout@v3
+
+      - name: Download built book
+        uses: actions/download-artifact@v3
+        with:
+          name: built-mdbook
+          path: ./book/book
+
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3
         with: