move ci.sh script into scripts folder and rename for clarity

wasmi-labs · Sep 23, 2022 · 9e75300 · 9e75300
1 parent 25ffa5b
commit 9e75300
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -101,7 +101,7 @@ cargo test --workspace
 ## Development
 
 Before pushing a PR to our repository we would like you to execute the
-`ci.sh` script that can be found in the repository's root folder.
+`scripts/run-local-ci.sh` script that can be found in the repository's root folder.
 
 ## Supported Platforms
 

diff --git a/ci.sh → scripts/run-local-ci.sh b/ci.sh → scripts/run-local-ci.sh