# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json name: Dev docs permissions: {} on: push: branches: - main concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true jobs: docs: runs-on: ubuntu-latest permissions: contents: write steps: - name: Checkout uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 - name: Build site run: | set -e make codegen-mkdocs - name: Deploy site run: | set -e git fetch origin gh-pages --depth=1 git config user.name ci-bot git config user.email ci-bot@example.com mike deploy -F ./website/mkdocs.yaml --push --update-aliases main dev