ci: gate GitHub workflows with pinned actionlint - #2517

Merged

kunchenguid merged 3 commits into

mainfrom

fm/fm-ci-actionlint-gate-r1

Aug 17, 2026

Commits on Aug 17, 2026

fix(lint): catch malformed GitHub workflows before merge
kunchenguid
committed
8787f4f
fix(lint): pin actionlint instead of Ruby for workflow lint
kunchenguid
committed
e8e3ba5
no-mistakes(document): Clarify pinned workflow lint documentation
kunchenguid
committed
b6830b8