Merge pull request #1077 from ConsenSys/improvement/circleci-envs

Add required env variables to Edelweiss container
pull/1083/head
Bernhard Mueller 6 years ago committed by GitHub
commit 0107a6212d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      .circleci/config.yml

@ -102,7 +102,11 @@ jobs:
- run: - run:
name: Run Edelweiss name: Run Edelweiss
command: | 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 \ --timeout 90 \
--output-dir /opt/edelweiss \ --output-dir /opt/edelweiss \
--plugin-dir /opt/mythril \ --plugin-dir /opt/mythril \

Loading…
Cancel
Save