Merge remote-tracking branch 'upstream/main' into complete-built-ins #226

	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@d632683dd7b4114ad314bca15554477dd762a938"

	# 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"

Provide feedback