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

Merge branch 'develop' into bugfix/BECtoken

Browse Source
pull/908/head
Nikhil Parasaram 6 years ago committed by GitHub
parent f95c9de640 4ed03ced09
commit c78d0e89bc
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

@ -1,6 +1,6 @@
defaults: &defaults
docker:
- image: mythril/dev_test_environment:latest
- image: mythril/dev_test_environment:0.0.43
version: 2
jobs:

Write Preview
Loading…
Cancel
Save