Define how to run tests

.ci/micromamba/dev.yaml

@@ -6,9 +6,8 @@ dependencies:
   - pytest
   - pylint
   - pycodestyle
-  - buildifier
   - clang
   - clang-tools
-  - bazel=6
+  - bazel=7
   - pip:
     - codechecker==6.25

CONTRIBUTING.md

@@ -49,4 +49,15 @@ test/test.sh                   | Functional and unit test runner
 Submitting a patch and testing
 -------
 
-Before submitting any changes please make sure all tests and checks are passed, pylint doesn't show warnings on new code, and fill out the Pull Request template. If you are a new contributor, and the template is confusing, feel free to submit the PR and we will help you iron it out! On how to run or add a new test, please see [test/README.md](test/README.md).
+Before submitting any changes please make sure all tests and checks are passed.
+
+You must run the following tests locally:
+* `pylint .`
+* `bazel test //...`
+* `pytest test`
+
+
+On how to run or add a new test, please see [test/README.md](test/README.md).
+
+
+Finally, fill out the Pull Request template. If you are a new contributor, and the template is confusing, feel free to submit the PR and we will help you iron it out!

run_tests.sh

@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+
+cleanup() {
+    # Very important
+    # reactivation of the mamba environment is not possible if skipped
+    bazel clean
+    micromamba deactivate
+}
+
+trap cleanup EXIT
+
+source ./.ci/micromamba/init.sh
+
+pylint .
+bazel test //...
+pytest test