TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix typo in env name and remove branch from workflow

Browse Source
fix/circleci-config
Aleksandr Sobolev 6 years ago
parent 90af6dbd39
commit 9dc390d2db
1 changed files with 1 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 3
      .circleci/config.yml

3
.circleci/config.yml
Unescape View File

@ -112,7 +112,7 @@ jobs:
--plugin-dir /opt/mythril \ --plugin-dir /opt/mythril \
--s3 \ --s3 \
--circle-ci CircleCI/mythril.csv \ --circle-ci CircleCI/mythril.csv \
--ignore-false-positives $IGNORE_FALSE_POSITVES \ --ignore-false-positives $IGNORE_FALSE_POSITIVES \
--ignore-regressions $IGNORE_REGRESSIONS --ignore-regressions $IGNORE_REGRESSIONS
pypi_release: pypi_release:
@ -170,7 +170,6 @@ workflows:
only: only:
- develop - develop
- master - master
- feature/ignore-regressions
tags: tags:
only: /v[0-9]+(\.[0-9]+)*/ only: /v[0-9]+(\.[0-9]+)*/
requires: requires:

Write Preview
Loading…
Cancel
Save