Small change push to trigger workflow

runtimeverification · Sep 27, 2023 · b9f747d · b9f747d
1 parent f641e91
commit b9f747d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,4 +26,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
-```
+```