Skip to content

deploy

deploy #3

Workflow file for this run

name: "deploy"
on:
# Run using manual triggers from GitHub UI:
# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
workflow_dispatch: {}
# Run on pushes to 'main' branch':
push:
branches:
- "main"
# We publish multiple packages for each version.
# Wait for any deploys in-progress to complete, before starting a new one:
concurrency:
group: "${{ github.workflow }}"
cancel-in-progress: false
jobs:
# ci:
# uses: "./.github/workflows/_jobs_ci.yml"
# github-pages:
# uses: "./.github/workflows/_jobs_github_pages.yml"
# if: "${{ github.repository == 'NomicFoundation/slang' }}" # skip running in forks
# needs: "ci"
# permissions:
# pages: "write" # to deploy to Pages
# id-token: "write" # to verify the deployment originates from an appropriate source
publish:
uses: "./.github/workflows/_jobs_publish.yml"
# if: "${{ github.repository == 'NomicFoundation/slang' }}" # skip running in forks
# needs: "ci"
# secrets: "inherit"
# permissions:
# contents: "write" # to create new branches and releases
# pull-requests: "write" # to create new pull requests for changesets