Lint GitHub Actions workflows with actionlint

[mattgodbolt]

Part of the org-wide actionlint rollout (see compiler-explorer/compiler-workflows#68, compiler-explorer/infra#2226, compiler-explorer/compiler-explorer#8912). Checks workflow files for schema errors, expression-context mistakes, unknown runner labels, and shellcheck issues (errors+warnings; info/style gated in .github/actionlint.yaml) on any push/PR touching them.

Existing workflows already passed cleanly.

🤖 Generated with Claude Code

[Copilot]

Pull request overview

Adds automated linting for GitHub Actions workflows using actionlint, aligning this repository with the org-wide rollout and ensuring workflow/schema/expression issues (and ShellCheck findings per config) are caught on workflow changes.

Changes:

• Add a new workflow to run actionlint on pushes/PRs that touch workflow files or the actionlint config.
• Add .github/actionlint.yaml to define self-hosted runner labels and configure ShellCheck filtering (ignore info/style).

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
.github/workflows/lint-actions.yml	New CI workflow to run actionlint when workflow/config files change.
.github/actionlint.yaml	actionlint configuration: runner labels and ShellCheck ignore patterns.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[mattgodbolt]

Closing per review: we're keeping the actionlint rollout to the core repos (compiler-explorer, infra, compiler-workflows) rather than adding CI-only lint machinery to quiet single-workflow repos — all our other linters run as pre-commit/local hooks, and this repo's workflows were already clean anyway.