chore: update ci

Signed-off-by: oliveredget <[email protected]>
cosmos · Dec 30, 2024 · 3871b0e · 3871b0e
1 parent fc63b5c
commit 3871b0e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/spell-checker.yml b/.github/workflows/spell-checker.yml
@@ -23,7 +23,7 @@ jobs:
         run: pip install codespell
       - name: Run codespell
         continue-on-error: ${{ github.event_name != 'pull_request' }}
-        run: codespell -w --skip="*.pb.go,*.pb.gw.go,*.json,*.git,*.js,*.h,*.bin,go.sum,go.mod,*.pdf,*.tla" --ignore-words=.github/.codespellignore --check-hidden
+        run: codespell -w --skip="*.pb.go,*.pb.gw.go,*.json,*.git,*.js,*.h,*.bin,go.sum,go.mod,*.pdf" --ignore-words=.github/.codespellignore --check-hidden
       - uses: peter-evans/create-pull-request@v7
         if: github.event_name != 'pull_request'
         with:

diff --git a/modules/apps/transfer/keeper/relay_model/relay.tla b/modules/apps/transfer/keeper/relay_model/relay.tla
@@ -98,7 +98,7 @@ SendTransferPre(packet, pbank) ==
    /\ IsNativeDenomTrace(trace) \/ (IsValidDenomTrace(trace) /\ IsKnownDenomTrace(trace))
    /\ data.sender /= NullId
    /\ <<escrow, data.denomTrace>> \in DOMAIN pbank  
-   /\ \/ amount = 0  \* SendTrasfer actually allows for 0 amount
+   /\ \/ amount = 0  \* SendTransfer actually allows for 0 amount
       \/ <<MakeAccount(sender), trace>> \in DOMAIN pbank /\ bank[MakeAccount(sender), trace] >= amount
 
 SendTransferNext(packet) ==