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

Use bash over sh

Browse Source
pull/1775/head
Nikhil Parasaram 1 year ago committed by GitHub
parent 499bce16f7
commit 7e2005eb66
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 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. 2
      .circleci/config.yml

2
.circleci/config.yml
Unescape View File

@ -162,7 +162,7 @@ jobs:
- setup_remote_docker - setup_remote_docker
- run: - run:
name: Building Docker Image name: Building Docker Image
command: ./docker_build_and_deploy.sh mythril/myth-dev command: /bin/bash ./docker_build_and_deploy.sh mythril/myth-dev
workflows: workflows:
version: 2 version: 2

Write Preview
Loading…
Cancel
Save