TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update to a different tag for dev_test_env

Browse Source
pull/1285/head
Nikhil Parasaram 5 years ago committed by GitHub
parent 04cff564e2
commit e23a69637e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      .circleci/config.yml

2
.circleci/config.yml
Unescape View File

@ -4,7 +4,7 @@ defaults: &defaults
# used for new integration testing, and it is build on top of the previous # used for new integration testing, and it is build on top of the previous
# `mythril/dev_test_environment:0.0.43`, though a bit newer versions, thus # `mythril/dev_test_environment:0.0.43`, though a bit newer versions, thus
# there is a chance that it breaks some small things. # there is a chance that it breaks some small things.
- image: mythril/dev_test_environment:0.0.43 - image: mythril/dev_test_environment:0.0.45
version: 2 version: 2
jobs: jobs:

Write Preview
Loading…
Cancel
Save