add early failure to coverage script

pull/1877/head
Francisco Giordano 6 years ago committed by GitHub
parent 3812bd8e6f
commit c771b2c8d5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      scripts/coverage.sh

@ -1,5 +1,7 @@
#!/usr/bin/env bash
set -o errexit
SOLIDITY_COVERAGE=true scripts/test.sh
if [ "$CI" = true ]; then

Loading…
Cancel
Save