Reorganize how tb infrstructure selects toolchains

2023-10-22 11:04:43 -07:00
parent 683fc4d0ac
commit d689bb7077
24 changed files with 323 additions and 179 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 **/_build
 **/*.out
 **/transcript
+**/htmlcov
 **/*.log
 **/*.pb
 **/.Xil