summaryrefslogtreecommitdiff
path: root/tools/ci.sh
diff options
context:
space:
mode:
authorDamien George <damien@micropython.org>2023-03-08 14:10:02 +1100
committerDamien George <damien@micropython.org>2023-04-27 18:03:06 +1000
commitb1229efbd1509654dec6053865ab828d769e29db (patch)
treee1a65606dd1f0a8cfe2af08f9c4ff821fb575b02 /tools/ci.sh
parente160fe7bc64212a3ce56f5478f208e2b4d343a8b (diff)
all: Fix spelling mistakes based on codespell check.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/ci.sh')
-rwxr-xr-xtools/ci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh
index 0eb94b339..e8c4021f3 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -45,7 +45,7 @@ function ci_code_spell_run {
function ci_commit_formatting_run {
git remote add upstream https://github.com/micropython/micropython.git
git fetch --depth=100 upstream master
- # For a PR, upstream/master..HEAD ends with a merge commit into master, exlude that one.
+ # For a PR, upstream/master..HEAD ends with a merge commit into master, exclude that one.
tools/verifygitlog.py -v upstream/master..HEAD --no-merges
}