diff options
| author | Angus Gratton <angus@redyak.com.au> | 2024-01-31 10:55:17 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-02-07 15:19:38 +1100 |
| commit | 84e90639fa47a6830b53138d546dd8694549be36 (patch) | |
| tree | e244b8b2b0eb365959d3204a5d5ea95a2950726c /tools | |
| parent | b038d070116ccfb1ec785cd6207006783841bccc (diff) | |
github/workflows: Move codespell to a GitHub workflow, version it.
Similar to ruff.yaml, it's simpler to run the codespell command directly
from a workflow file. And developers can run codespell directly from the
command line without the need for options, or just use pre-commit.
This commit also applies a specific version to codespell, same as
pre-commit (introduced in a166d805f43).
This work was funded through GitHub Sponsors.
Signed-off-by: Angus Gratton <angus@redyak.com.au>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index e18027ae5..3cbc51cfa 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -31,17 +31,6 @@ function ci_c_code_formatting_run { } ######################################################################################## -# code spelling - -function ci_code_spell_setup { - pip3 install codespell tomli -} - -function ci_code_spell_run { - codespell -} - -######################################################################################## # commit formatting function ci_commit_formatting_run { |