diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index d44f341ce..0eb94b339 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -29,6 +29,17 @@ function ci_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 { |