Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci.sh: for push, check repo and correct branch
Also, remove extra '}' character in built step summary.
- Loading branch information