Code

Run codespell on CI#3741

Code

Merged

romac merged 7 commits intomasterinformalsystems/hermes:masterfrom codespellinformalsystems/hermes:codespellCopy head branch name to clipboardJan 3, 2024

+171-163

Commits

Commits on Dec 22, 2023

• Run codespell on CI

  romac

  committed
  55390b3

  Copy full SHA for 55390b3

• Only run cargo-doc when needed

  romac

  committed
  945c1ac

  Copy full SHA for 945c1ac

• Fix all typos found in the repository

  romac

  committed
  7b4251b

  Copy full SHA for 7b4251b

• Remove TLA type checker workflow

  romac

  committed
  ec819e4

  Copy full SHA for ec819e4

• Undo wrong typo fixes

  romac

  committed
  68d9f78

  Copy full SHA for 68d9f78

Commits on Jan 3, 2024

• Increase timeout when asserting if a channel is eventually open in tests

  ljoss17

  committed
  92552c2

  Copy full SHA for 92552c2

• Fix clippy errors

  ljoss17

  committed
  55f75c2

  Copy full SHA for 55f75c2