Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* use tee to both print the output and log it to a file * reduce the verbosity * Update .github/workflows/upstream-dev-ci.yaml
- Loading branch information