Skip to content

Lint GitHub Actions workflows with actionlint - #2

Closed
mattgodbolt wants to merge 1 commit into
mainfrom
add-actionlint
Closed

mattgodbolt wants to merge 1 commit into
mainfrom
add-actionlint

Commits

  1. Commits on Jul 10, 2026