Skip to content

Remove all binding results ranking and use all found definitions instead #2126

Remove all binding results ranking and use all found definitions instead

Remove all binding results ranking and use all found definitions instead #2126

Workflow file for this run

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 even 'main', as it is used to refresh the CI cache from scratch, so that it doesn't grow indefinitely:
push: {}
# 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@11bd71901bbe5b1630ceea73d27597364c9af683"
# 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"