diff options
| -rw-r--r-- | README.org | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/README.org b/README.org index 6210c08..aef1a08 100644 --- a/README.org +++ b/README.org @@ -37,10 +37,19 @@ To launch a guix shell for development, do: to get an environment that is isolated from the rest of your system. -*** Tests +*** Checks Run tests with: - #+BEGIN_SRC shell pytest #+END_SRC + +To run the linter over the code base, run: +#+BEGIN_SRC shell + pylint tests quality_control qc_app +#+END_SRC + +To check for correct type usage in the application, run: +#+BEGIN_SRC shell + mypy --show-error-codes . +#+END_SRC |