ci: Change ty output format to GitHub
#62
checks.yml
on: pull_request
Build documentation
3m 30s
Link correctness
5s
Typing correctness
49s
Absence of TODOs
4s
Matrix: tests