thoth
thoth copied to clipboard
add tests and linters in github CI for PR and merge
we should run tests and linters before each merge (in PR)