Add bindings API function to retrieve *all* definitions from a reference #132
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 }}" | |
| cancel-in-progress: true | |
| jobs: | |
| ci: | |
| runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync) | |
| # Due to the "on" events above, this workflow will run on every push to any branch, and on every PR. | |
| # This means that if a PR is created from a branch in the main repo, the CI jobs will run twice. | |
| # This condition deduplicats it, so that it either runs on a push (to main repo or forks) or on a PR (from forks only). | |
| if: "${{ github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != 'NomicFoundation/slang') }}" | |
| 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" |