Enable Dynamodb module (#1140)

5 years ago · 31f1a5c37e
parent 05f95e1f26
commit 31f1a5c37e
1 changed files with 1 additions and 0 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -110,6 +110,7 @@ jobs:
                --timeout 60 \
                --output-dir /opt/edelweiss \
                --s3 \
+                --dynamodb \
                --circle-ci CircleCI/mythril.csv \
                --ignore-false-positives $IGNORE_FALSE_POSITIVES \
                --ignore-regressions $IGNORE_REGRESSIONS