Add project and docstring checking functions to cryptol-remote-api #3055
Annotations
1 error and 2 warnings
|
Run .github/ci.sh check_rpc_docs
Process completed with exit code 1.
|
|
Run .github/ci.sh build:
src/Cryptol/Utils/Ident.hs#L175
Pattern match(es) are non-exhaustive
|
|
Run .github/ci.sh build:
src/Cryptol/Utils/Ident.hs#L185
Pattern match(es) are non-exhaustive
|
Loading