github_pages.yml

---
name: GitHub Pages

"on":
  push:

# concurrency:
#   group: ${{ github.workflow }}-${{ github.ref }}
#   cancel-in-progress: true
jobs:
  build_book:
    runs-on: ubuntu-latest
    concurrency:
      group: ${{ github.workflow }}-${{ github.ref }}
      cancel-in-progress: true
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0
          clean: false
      - name: Setup mdBook
        uses: peaceiris/actions-mdbook@v2
        with:
          mdbook-version: 'latest'
      - name: Setup deno
        # Documentation: https://github.com/denoland/setup-deno
        uses: denoland/setup-deno@v1
        with:
          deno-version: v1.x

      - name: Install protoc
        run: sudo apt-get install -y protobuf-compiler
      - name: Test document formatting
        run: |
          make book/format
      - name: Make all the books
        run: make book
  deploy_book:
    runs-on: ubuntu-latest
    if: ${{ github.ref == 'main' }}
    needs:
      - build_book
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
    steps:
    - name: Deploy to GitHub Pages
      id: deployment
      uses: actions/deploy-pages@v4