Include typechecking for all files in the CI#571
Merged
kalvinwang merged 19 commits intomainfrom kat/444_ts_on_testsDec 29, 2021
+266-168
Commits
Commits on Dec 2, 2021
Commits on Dec 3, 2021
Commits on Dec 6, 2021
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Dec 7, 2021
Commits on Dec 21, 2021
- committed
- committed
- committed
- committed
- committed
- committed
