Codespell

Run codespell on CI #1

Sign in to view logs

Triggered via pull request January 3, 2024 13:38

romac

opened #136

codespell

Status Failure

Total duration 23s

Artifacts –

codespell.yml

on: pull_request

Annotations

9 errors

Check spelling: Specs/English/README.md#L200

porposal ==> proposal

Check spelling: Specs/Quint/driver.qnt#L449

requir ==> require

Check spelling: Specs/Quint/TendermintDSL.qnt#L30

recepient ==> recipient

Check spelling: Specs/Quint/TendermintDSL.qnt#L31

recepient ==> recipient

Check spelling: Specs/Quint/voteBookkeeper.qnt#L344

outputing ==> outputting

Check spelling: Docs/architecture/adr-001-architecture.md#L397

Poposal ==> Proposal

Check spelling: Code/test/tests/driver_extra.rs#L33

poposal ==> proposal

Check spelling: Code/test/tests/driver_extra.rs#L791

poposal ==> proposal

Check spelling: Code/driver/src/mux.rs#L203

implictly ==> implicitly