aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 737b2a0..307bbc9 100644
--- a/README.md
+++ b/README.md
@@ -147,7 +147,7 @@ Arguments:
Options:
-i, --ignore <IGNORE>... Ignored zkVMs. Values are substrings of names
- -f, --fail-propagation Make one failiure stop the entire process
+ -f, --fail-propagation Make one failure stop the entire process
-o, --metrics-output <METRICS_OUTPUT>
Put the resultant output into a file of the given path
-a, --append