publish.yaml

# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: MIT

name: Publish cbmc-viewer documentation
on:
  push:
    branches:
      - 'documentation'

permissions:
  contents: write
  pages: write

jobs:
  publish:
    runs-on: macos-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v6

      - name: Install mdbook
        run: brew install mdbook

      - name: Build documentation
        run: cd docs && mdbook build && touch book/.nojekyll

      - name: Publish documentation
        uses: JamesIves/github-pages-deploy-action@v4.7.6
        with:
          branch: gh-pages
          folder: docs/book/

# This conditional might be useful on the publish step in the future
#       if: ${{ github.event_name == 'push' && startsWith('refs/heads/master', github.ref) }}