embed binding rules into the output crate (#1010) #2
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |