automatically build and push the image to ecr

Author: pietroalbini

.travis.yml

@@ -14,3 +14,12 @@ script:
     else
       pytest -m hermetic
     fi
+
+# Publish the Docker image to the infra AWS registry
+before_deploy:
+  - pip install --user awscli; export PATH=$PATH:$HOME/.local/bin
+deploy:
+  provider: script
+  script: sh ci/publish-docker.sh
+  on:
+    branch: master

ci/publish-docker.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+set -euo pipefail
+IFS=$'\n\t'
+
+ECR_IMAGE="890664054962.dkr.ecr.us-west-1.amazonaws.com/rust-highfive:latest"
+
+$(aws ecr get-login --no-include-email --region us-west-1)
+
+docker build -t rust-highfive .
+docker tag rust-highfive:latest "${ECR_IMAGE}"
+docker push "${ECR_IMAGE}"