docs-new-version.yml

name: Cut a new version of the docs

on:
  workflow_dispatch:
    inputs:
      tag:
        description: The tag to build Docs for
        required: false

jobs:
  publish-docs:
    runs-on: ubuntu-latest
    if: ${{ inputs.tag != '' }}
    permissions:
      pull-requests: write
      contents: write
    steps:
      - name: Checkout sources
        uses: actions/checkout@v4
        with:
          ref: ${{ inputs.tag }}

      - name: Create new branch
        run: |
          git checkout -b new-docs-version-${{ github.event.inputs.tag }}
    
      - name: Setup Node.js
        uses: actions/setup-node@v2
        with:
          node-version: '18'

      - name: Install wasm-bindgen-cli
        uses: taiki-e/install-action@v2
        with:
          tool: wasm-bindgen-cli@0.2.86

      - name: Install wasm-opt
        run: |
          npm i wasm-opt -g

      - name: Install Yarn
        run: npm install -g yarn

      - name: Install Yarn dependencies
        run: yarn
    
      - name: Build acvm_js
        run: yarn workspace @noir-lang/acvm_js build

      - name: Build noirc_abi
        run: yarn workspace @noir-lang/noirc_abi build

      - name: Build noir_js_types
        run: yarn workspace @noir-lang/types build

      - name: Build barretenberg wrapper
        run: yarn workspace @noir-lang/backend_barretenberg build

      - name: Run noir_js
        run: |
          yarn workspace @noir-lang/noir_js build

      - name: Build docs
        run: 
          yarn workspace docs build

      - name: Cut a new version
        working-directory: ./docs
        run: yarn docusaurus docs:version ${{ inputs.tag }}

      - name: Remove pre-releases
        id: get_version
        run: |
            cd docs && yarn setStable

      - name: Commit new documentation version
        run: |
          git config --local user.name 'signorecello'
          git config --local user.email 'github@zepedro.me'
          git add .
          git commit -m "chore(docs): cut new docs version for tag ${{ github.event.inputs.tag }}"
      
      - name: Push changes to new branch
        run: git push origin new-docs-version-${{ github.event.inputs.tag }}

      - name: Create Pull Request
        run: |
          gh pr create \
            --title "chore(docs): docs for ${{ github.event.inputs.tag }}" \
            --body "Updates documentation to new version for tag ${{ github.event.inputs.tag }}." \
            --base master \
            --head new-docs-version-${{ github.event.inputs.tag }} \
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

      - name: Build docs
        run: yarn workspace docs build
    
      - name: Deploy to Netlify
        uses: nwtgck/actions-netlify@v2.1
        with:
          publish-dir: './docs/build'
          production-branch: master
          production-deploy: true
          github-token: ${{ secrets.GITHUB_TOKEN }}
          enable-github-deployment: false
          deploy-message: "Deploy from GitHub Actions for tag ${{ inputs.tag }}"
        env:
          NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
          NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}
        timeout-minutes: 1