Lint GitHub Actions workflows with actionlint#16

mattgodbolt wants to merge 1 commit into

maincompiler-explorer/tools:mainfrom

add-actionlintcompiler-explorer/tools:add-actionlintCopy head branch name to clipboard