runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Add workflow to run `actionlint` #4468

Closed tothtamas28 closed 1 week ago

tothtamas28 commented 1 week ago

actionlint is a static checker for GitHub Actions workflow files. This PR adds a workflow that runs actionlint to check .yml files in .github/workflows. It also cleans up some issues flagged by shellcheck, a linter for shell scripts actionlint calls out to.