[misc] Cleanup unused files in root dir (taichi-dev#6619)

Issue: # ### Brief Summary I believe these files are no longer used so we'd better just remove them to avoid confusion.
zerolyj · Nov 16, 2022 · 73a08ac · 73a08ac
1 parent 018e3de
commit 73a08ac
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 187 deletions.
diff --git a/build.ps1 b/build.ps1
diff --git a/codecov.yml b/codecov.yml