Skip to content

chore: Move turbofish changes to the elaborator (#5094) #12

chore: Move turbofish changes to the elaborator (#5094)

chore: Move turbofish changes to the elaborator (#5094) #12

Workflow file for this run

name: Publish documentation
on:
push:
branches:
- master
paths: [docs/**]
workflow_dispatch:
jobs:
publish-docs:
name: Publish docs
runs-on: ubuntu-latest
steps:
- name: Checkout release branch
uses: actions/checkout@v4
- name: Install Yarn dependencies
uses: ./.github/actions/setup
- name: Install wasm-bindgen-cli
uses: taiki-e/install-action@v2
with:
tool: [email protected]
- name: Install wasm-opt
run: |
npm i wasm-opt -g
- name: Query active docs versions
run: yarn workspace docs version::stables
- name: Build docs for deploying
run: yarn workspaces foreach -Rpt --from docs run build
- name: Deploy to Netlify
uses: nwtgck/[email protected]
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.noir-ref }}"
enable-commit-comment: false
env:
NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}
timeout-minutes: 1