Merge pull request #222 from JuliaReach/schillic/spellcheck

Spell check
JuliaReach · Nov 3, 2023 · 9796987 · 9796987
2 parents 0d0086f + 52afdec
commit 9796987
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/.github/workflows/SpellCheck.yml b/.github/workflows/SpellCheck.yml
@@ -0,0 +1,13 @@
+name: Spell Check
+
+on: [pull_request]
+
+jobs:
+  typos-check:
+    name: check spelling
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Actions Repository
+        uses: actions/checkout@v4
+      - name: Check spelling
+        uses: crate-ci/typos@master
diff --git a/src/correction_matrices.jl b/src/correction_matrices.jl
@@ -54,7 +54,7 @@ An interval matrix representing the correction matrix.
 See Proposition 3.4 in [1].
 
 [1] M. Althoff. Reachability analysis and its application to the safety
-assessment of automonous cars. 2010.
+assessment of autonomous cars. 2010.
 """
 function input_correction(A::IntervalMatrix{T}, t, p) where {T}
     n = checksquare(A)