Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[rosetta] Use github run.sh instead of copy
Signed-off-by: Daniel Van Der Maden <dvandermaden0@berkeley.edu>
- Loading branch information