Skip to content

feat(CI): add shellcheck workflow for shell scripts#229

Open
jessealama wants to merge 1 commit intoleanprover:mainfrom
jessealama:add-shellcheck-ci
Open

feat(CI): add shellcheck workflow for shell scripts#229
jessealama wants to merge 1 commit intoleanprover:mainfrom
jessealama:add-shellcheck-ci

Commits

Commits on Dec 18, 2025