From 3871b0e9cb839b2ad9c509f67df17b8ac3b53a8e Mon Sep 17 00:00:00 2001 From: oliveredget <188809800+oliveredget@users.noreply.github.com> Date: Tue, 31 Dec 2024 06:30:46 +0800 Subject: [PATCH] chore: update ci Signed-off-by: oliveredget <188809800+oliveredget@users.noreply.github.com> --- .github/workflows/spell-checker.yml | 2 +- modules/apps/transfer/keeper/relay_model/relay.tla | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/spell-checker.yml b/.github/workflows/spell-checker.yml index 746bdbbd2de..45f6410d5a3 100644 --- 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 index 7a617227876..83cb58433ff 100644 --- 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 /\ <> \in DOMAIN pbank - /\ \/ amount = 0 \* SendTrasfer actually allows for 0 amount + /\ \/ amount = 0 \* SendTransfer actually allows for 0 amount \/ <> \in DOMAIN pbank /\ bank[MakeAccount(sender), trace] >= amount SendTransferNext(packet) ==