Fix typo in README.md (#122)

metamath · Aug 20, 2023 · 3f82271 · 3f82271
1 parent 089d77b
commit 3f82271
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Metamath-knife is a friendly fork of
   adds support for *all* Metamath proof formats
   (<a href="https://groups.google.com/g/metamath/c/xCUNA2ttHew/m/RXSNzdovBAAJ">uncompressed, compressed, package, or explicit</a>.
 * We take extra steps to prevent errors, e.g., we have a CI pipeline
-  (implemented using GitHub actons).
+  (implemented using GitHub actions).
 * We remove deprecated constructs, e.g., the deprecated try!(...)
   has been replaced with the easier-to-read "?" construct.
 * We actively work to eliminate compiler warnings. This tends to