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

Merge pull request #1145 from ConsenSys/develop

Browse Source 
Increase integration test timeout
pull/1157/head
Bernhard Mueller 5 years ago committed by GitHub
parent b3d63c0fef e040f91950
commit f81e71377b
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

@ -107,7 +107,7 @@ jobs:
-e CIRCLE_BUILD_URL=$CIRCLE_BUILD_URL \ -e CIRCLE_BUILD_URL=$CIRCLE_BUILD_URL \
-e CIRCLE_WEBHOOK_URL=$CIRCLE_WEBHOOK_URL \ -e CIRCLE_WEBHOOK_URL=$CIRCLE_WEBHOOK_URL \
--rm edelweiss-mythril:latest \ --rm edelweiss-mythril:latest \
--timeout 60 \ --timeout 90 \
--output-dir /opt/edelweiss \ --output-dir /opt/edelweiss \
--s3 \ --s3 \
--dynamodb \ --dynamodb \

Write Preview
Loading…
Cancel
Save