Add typos to CI

privacy-scaling-explorations · Feb 25, 2024 · ddec934 · ddec934
1 parent 89d6067
commit ddec934
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -102,3 +102,13 @@ jobs:
         with:
           command: clippy
           args: --all-targets --all-features -- -D warnings
+
+  typos:
+    name: Spell Check with Typos
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Use typos with config file
+      uses: crate-ci/typos@master
+      with: 
+        config: .github/workflows/typos.toml
diff --git a/.github/workflows/typos.toml b/.github/workflows/typos.toml
@@ -0,0 +1,7 @@
+[default]
+extend-ignore-identifiers-re = [
+]
+
+[default.extend-words]
+# Don't correct the surname "Teh"
+groth = "groth"