Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a new test to check the `on-demand` option in CI Signed-off-by: Yuhan Yang <yangfisher1@sjtu.edu.cn>
- Loading branch information