Set up CI with Azure Pipelines (#1068)

Author: jkrauska

azure-pipelines.yml

@@ -0,0 +1,14 @@
+# Docker image
+# Build a Docker image to deploy, run, or push to a container registry.
+# Add steps that use Docker Compose, tag images, push to a registry, run an image, and more:
+# https://docs.microsoft.com/azure/devops/pipelines/languages/docker
+
+pool:
+  vmImage: 'Ubuntu 18.04'
+
+variables:
+  imageName: 'coda_toolchain:$(build.buildId)'
+
+steps:
+- script: docker build -f Dockerfile-toolchain -t $(imageName) .
+  displayName: 'docker build'