chore: Switch from codespell to typos to check spelling (#227)

* chore: Fix typos

* chore: Use `typos` on CI instead of `codespell`

.github/workflows/codespell.yml

@@ -1,4 +1,4 @@
-name: Codespell
+name: Spelling
 on:
   pull_request:
   push:
@@ -15,8 +15,4 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: codespell-project/actions-codespell@v2
-        with:
-          skip: './code/target'
-          ignore_words_file: .github/codespell/words.txt
-
+      - uses: crate-ci/typos@master

code/crates/cli/src/args.rs

@@ -86,7 +86,7 @@ impl Args {
         Ok(self.get_home_dir()?.join("config"))
     }
 
-    /// get_config_file_path returns the configuration file path based on the command-ine arguments
+    /// get_config_file_path returns the configuration file path based on the command-line arguments
     /// and the configuration folder.
     pub fn get_config_file_path(&self) -> Result<PathBuf> {
         Ok(self.get_config_dir()?.join(CONFIG_FILE))

code/crates/test/tests/driver_extra.rs

@@ -28,7 +28,7 @@ use malachite_test::utils::*;
 //      `driver_steps_polka_previous_with_locked()
 //
 // - L44 with previously received polkaNil and entering prevote (due to timeoutPropose)
-//      `driver_steps_polka_nil_and_timout_propose()`
+//      `driver_steps_polka_nil_and_timeout_propose()`
 //
 // - L36 with previoustly received polkaValue and proposal, and entering prevote (due to received proposal)
 //      `driver_steps_polka_value_then_proposal()`
@@ -846,7 +846,7 @@ fn driver_steps_polka_previous_with_no_locked() {
 // L57 - v3 receives timeout propose, prevotes for nil (step prevote)
 // L44 - polkaNil is replayed and v3 precommits for nil (step precommit)
 #[test]
-fn driver_steps_polka_nil_and_timout_propose() {
+fn driver_steps_polka_nil_and_timeout_propose() {
     let [(v1, _sk1), (v2, _sk2), (v3, sk3)] = make_validators([2, 3, 2]);
     let (my_sk, my_addr) = (sk3.clone(), v3.address);
 

code/crates/vote/src/lib.rs

@@ -1,4 +1,4 @@
-//! Infrastructre for tallying votes within the consensus engine.
+//! Infrastructure for tallying votes within the consensus engine.
 
 #![no_std]
 #![forbid(unsafe_code)]

specs/quint/specs/reset.qnt

@@ -444,7 +444,7 @@ def valid (b: L2Block) : bool =
         | Proof(bp) => proofOK (L1.last().time, 
                                 L1.last().l2forkID,
                                 L1.last().unfulfilled_updates, 
-                                bp) // whether a proof is accepted is time-dependend
+                                bp) // whether a proof is accepted is time-dependent
     }
 
 
@@ -656,4 +656,4 @@ action old_reset = all {
 
 
 
-}
+}