Merge branch 'develop' into bugfix/bectoken

pull/1076/head
Bernhard Mueller 6 years ago committed by GitHub
commit a579ec549a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      .circleci/config.yml

@ -102,7 +102,11 @@ jobs:
- run:
name: Run Edelweiss
command: |
docker run --rm edelweiss-mythril:latest \
docker run \
-e CIRCLE_BUILD_NUM=$CIRCLE_BUILD_NUM \
-e CIRCLE_BUILD_URL=$CIRCLE_BUILD_URL \
-e CIRCLE_WEBHOOK_URL=$CIRCLE_WEBHOOK_URL \
--rm edelweiss-mythril:latest \
--timeout 90 \
--output-dir /opt/edelweiss \
--plugin-dir /opt/mythril \

Loading…
Cancel
Save