release 0.2.3: more convenient build_ci target It simplifies changing docker repository for build_ci target - without redefining it
release 0.2.3: more convenient build_ci target It simplifies changing docker repository for build_ci target - without redefining it