Generates the Docker image used to build Distil on CircleCI:
- Docker platform.
- Update the version number in
./config.sh
- Run
./docker_build.sh
to build the image. - Run
docker_push.sh
to push the image to the docker repository.
CircleCI is configured to pick up the latest
tag so the updates should be applied on any subsequent builds.