Repository navigation

Add pony-agent-server #2825

	name: Lint GitHub Action Workflows

	on:
	pull_request:
	# actionlint reads the workflow files plus its own config
	# (.github/actionlint.yaml, which holds the self-hosted runner labels), so a
	# PR editing only that config still needs a lint pass.
	paths:
	- '.github/workflows/**'
	- '.github/actionlint.yaml'

	concurrency:
	group: lint-actions-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	packages: read

	jobs:
	lint:
	name: Lint
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v6.0.2
	- name: Check workflow files
	uses: docker://ghcr.io/ponylang/shared-docker-ci-actionlint:20260529
	with:
	args: -color