Skip to content
release 0.2.3: more convenient build_ci target

It simplifies changing docker repository for build_ci target -
without redefining it