feat: default prove mode test
#112
ci.yml
on: pull_request
lint
30s
typecheck
31s
Matrix: test