Commit Graph

6 Commits

Author SHA1 Message Date
Arthur Meyre
9bf380bfce fix(typo): fix unfortunate typos 2021-07-19 16:32:53 +02:00
Arthur Meyre
36d93a60d9 chore(tools): add mypy as dev tool but don't check in CI for now
- we'll see if the benefits of static typing are worth it or not
2021-07-19 16:25:24 +02:00
Arthur Meyre
ef78e66241 build(coverage): add comment to PR with diff-cover output
- add script to help format the coverage comment
- manage steps logic

refs #15
2021-07-16 12:25:10 +02:00
Arthur Meyre
7dccfa649c build(tests): add tests and coverage to CI workflow
#refs 15
2021-07-16 12:25:10 +02:00
aquint-zama
ae992e4cdc docs: move to sphinx
relates #15
2021-07-15 16:56:53 +02:00
Arthur Meyre
e45cd6cc86 build: add github actions workflow for PR checks
refs #15
2021-07-15 15:31:53 +02:00