Refactor: split apart render_bindings
for readability
#164
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: "ci" | |
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 every pull request: | |
pull_request: {} | |
# Run on pushes to any branch except 'main', as we use a merge queue, and test PRs individually before merging them: | |
push: | |
branches-ignore: | |
- "main" | |
# In the event that there is a new push to the ref, cancel any running jobs because they are now obsolete, wasting resources. | |
concurrency: | |
group: "${{ github.workflow }}-${{ github.ref_name }}-${{ github.event_name }}" | |
cancel-in-progress: true | |
jobs: | |
ci: | |
runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync) | |
steps: | |
- name: "Checkout Repository" | |
uses: "actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332" | |
# Cache is updated in this workflow, and reused in subsequent workflows. | |
# Always start with a fresh cache when running on the main branch. | |
- name: "Restore Cache" | |
if: "${{ github.ref_name != 'main' }}" | |
uses: "./.github/actions/cache/restore" | |
# | |
# Run all CI steps in order: _SLANG_INFRA_CI_STEPS_ORDERED_ (keep in sync) | |
# | |
- name: "infra check" | |
uses: "./.github/actions/devcontainer/run" | |
with: | |
runCmd: "./scripts/bin/infra check" | |
- name: "infra test" | |
uses: "./.github/actions/devcontainer/run" | |
with: | |
runCmd: "./scripts/bin/infra test" | |
- name: "infra lint" | |
uses: "./.github/actions/devcontainer/run" | |
with: | |
runCmd: "./scripts/bin/infra lint" | |
- name: "Save Cache" | |
uses: "./.github/actions/cache/save" |