From 310df4ab2a7e113cadea037d97998bbfe3542899 Mon Sep 17 00:00:00 2001
From: Arthur Gautier <arthur.gautier@arista.com>
Date: Thu, 19 Jun 2025 18:19:00 +0000
Subject: [PATCH] workspace: check for typos in CI (#1001)

---
 .github/workflows/workspace.yml      | 6 ++++++
 .typos.toml                          | 5 +++++
 ml-dsa/src/module_lattice/algebra.rs | 2 +-
 3 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 .typos.toml

diff --git a/.github/workflows/workspace.yml b/.github/workflows/workspace.yml
index 148adfb..8bd3cf1 100644
--- a/.github/workflows/workspace.yml
+++ b/.github/workflows/workspace.yml
@@ -32,3 +32,9 @@ jobs:
           toolchain: 1.85.0
           components: clippy
       - run: cargo clippy --all-features -- -D warnings
+
+  typos:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: crate-ci/typos@v1.33.1
diff --git a/.typos.toml b/.typos.toml
new file mode 100644
index 0000000..2923599
--- /dev/null
+++ b/.typos.toml
@@ -0,0 +1,5 @@
+[files]
+extend-exclude = [
+    ".git/",
+    "ml-dsa/tests/examples/*",
+]
diff --git a/ml-dsa/src/module_lattice/algebra.rs b/ml-dsa/src/module_lattice/algebra.rs
index 121b095..b5d2e8d 100644
--- a/ml-dsa/src/module_lattice/algebra.rs
+++ b/ml-dsa/src/module_lattice/algebra.rs
@@ -329,7 +329,7 @@ impl<F: Field> Neg for &NttPolynomial<F> {
 
 /// An `NttVector` is a vector of polynomials from `T_q` of length `K`.  NTT vectors can be
 /// added and subtracted.  If multiplication is defined for NTT polynomials, then NTT vectors
-/// can be multiplied by NTT polynomials, and "multipled" with each other to produce a dot
+/// can be multiplied by NTT polynomials, and "multiplied" with each other to produce a dot
 /// product.
 #[derive(Clone, Default, Debug, PartialEq)]
 pub struct NttVector<F: Field, K: ArraySize>(pub Array<NttPolynomial<F>, K>);