Re-push to rebuild with CI changes

runtimeverification · Sep 29, 2023 · a113156 · a113156
1 parent e999f9a
commit a113156
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -28,4 +28,4 @@ The recommended way of executing the verification script is to log the output tr
 
 ```bash
 time bash test/run-kevm.sh 2>&1 | tee log.out
-```
+```