Add actionlint to CI

[cdelmonte-zg]

Lint the workflow files in the per-PR pipeline with actionlint. A workflow-syntax linter would have caught at least one real past defect (a duplicated if condition in release.yml).

Small, standalone chore: one job (or a step in the existing lint leg) running actionlint over .github/workflows/.