move tpi_rs to a separate repository

The code now lives in github.com/turing-machines/tpi_rs Also, modify TPI_RS_BUILD_CMDS to be closer to original, since some hacks (like removing --offline, --locked flags) are no longer needed.
djbender · Jun 23, 2023 · 4266380 · 4266380
1 parent 1472b18
commit 4266380
Show file tree

Hide file tree

Showing 18 changed files with 13 additions and 3,478 deletions.
diff --git a/.github/workflows/cargo_test.yml b/.github/workflows/cargo_test.yml
diff --git a/app/tpi_rs/.gitignore b/app/tpi_rs/.gitignore