adding contributing guideline (open-quantum-safe#259)

* adding contributing guideline * adding further dev support information
EntrustCorporation · Mar 15, 2024 · c27cb1e · c27cb1e
1 parent 2aed79b
commit c27cb1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -37,7 +37,7 @@ run the following command in the project main directory prior to finishing a PR:
 If encountering CI errors in CircleCI, it may be helpful to execute the test jobs
 locally to debug. This can be facilitated by executing the command
 
-   circleci local execute [--job] some-test-job
+   circleci local execute --job some-test-job
 
 assuming "some-test-job" is the name of the test to be executed and the CircleCI
 [command line tools have been installed](https://circleci.com/docs/local-cli).