diff --git a/.circleci/config.yml b/.circleci/config.yml index 6174655f..8be4f6b6 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -111,7 +111,8 @@ jobs: --output-dir /opt/edelweiss \ --plugin-dir /opt/mythril \ --s3 \ - --circle-ci CircleCI/mythril.csv + --circle-ci CircleCI/mythril.csv\ + --ignore-regressions $IGNORE_REGRESSIONS pypi_release: <<: *defaults