minor tweaks #451

	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 (external branches):
	pull_request: {}

	# Run on pushes to internal branches:
	# Except 'main', which is handled by 'deploy.yml'.
	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 }}"
	cancel-in-progress: true

	jobs:
	ci:
	uses: "./.github/workflows/_jobs_ci.yml"

Provide feedback