Run shellcheck on GitHub Actions run steps as part of pre-commit
#624
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
actionlint has an optional shellcheck integration which scrapes the
runsteps of GitHub workflows and passes them to shellcheck. We have some reasonably complex workflows in this repo, and shellcheck finds some issues in some of them:Shellcheck complaints regarding our GitHub workflows
This PR enables actionlint's shellcheck integration in our
.pre-commit-config.yamlfile, and fixes the complaints shellcheck has regarding our GitHub workflows. I tested locally in a shell that the new shell snippets produce the same results as before, and I tested locally thatuvx pre-commit run -astill passes on this PR branch. (Note that we don't yet run pre-commit in CI -- #607 (comment).)