Add mypy checks in CI #295
Annotations
1 error
|
run-tests (ubuntu-latest, cvc5)
Process completed with exit code 134.
|