Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
For some reason
tun_autograder.sh
is used.
fallback to `run_autograder.sh` if `run_autograder` is not found.
- Loading branch information