remove ci files which are now unncessary

ucb-bar · Nov 26, 2022 · 008d51a · 008d51a
1 parent 57a650f
commit 008d51a
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 78 deletions.
diff --git a/.github/scripts/build-toolchains.sh b/.github/scripts/build-toolchains.sh
diff --git a/.github/scripts/install-verilator.sh b/.github/scripts/install-verilator.sh
diff --git a/.github/scripts/prepare-for-rtl-build.sh b/.github/scripts/prepare-for-rtl-build.sh