Update of CircleCI config

6 years ago · 3e3df2562d
parent d79262cb25
commit 3e3df2562d
2 changed files with 2 additions and 1 deletions
--- 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:
--- a/docker_build_and_deploy.sh
+++ b/docker_build_and_deploy.sh
@ -1,4 +1,5 @@
 #!/bin/sh
+set -eo pipefail

 NAME=mythril/myth