Gerald Manipon 01d95c4b60 add circleci job to build and deploy a release ... Deployed docker image should be able to be pulled via e.g. `docker pull isce2:v2.3.2`. Doing a `docker pull isce2:latest` still pulls the deployed docker image from the most recent of these three circleci jobs: PR merge, weekly build, or release.		2019-07-22 08:44:35 -07:00
..
config.yml	add circleci job to build and deploy a release	2019-07-22 08:44:35 -07:00