Update of CircleCI config

muellerberndt · Jun 13, 2018 · 3e3df25 · 3e3df25
1 parent d79262c
commit 3e3df25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -1,6 +1,6 @@
 defaults: &defaults
   docker:
-    - image: birdofpreyru/mythril-integration-tests:0.0.4
+    - image: mythril/dev_test_environment:latest
 
 version: 2
 jobs:

diff --git a/docker_build_and_deploy.sh b/docker_build_and_deploy.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -eo pipefail
 
 NAME=mythril/myth