b34c87b376
The .github repo had no CI running on pull requests — PRs merged without any validation. This adds actionlint for workflow YAML and shellcheck for scripts in .github/scripts/, triggered on PRs to main. Co-Authored-By: Paperclip <noreply@paperclip.ing>