Increase timeout param

pull/1065/head
Aleksandr Sobolev 6 years ago
parent 9bb124913c
commit 72066c8f82
  1. 2
      .circleci/config.yml

@ -103,7 +103,7 @@ jobs:
name: Run Edelweiss name: Run Edelweiss
command: | command: |
docker run --rm edelweiss-mythril:latest \ docker run --rm edelweiss-mythril:latest \
--timeout 10 \ --timeout 90 \
--output-dir /opt/edelweiss \ --output-dir /opt/edelweiss \
--plugin-dir /opt/mythril \ --plugin-dir /opt/mythril \
--s3 \ --s3 \

Loading…
Cancel
Save