Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci_build.sh: in BUILD_TYPE=default-all-errors report visibly when no …
…failures happened
- Loading branch information