You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
323 B
17 lines
323 B
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
echo ""
|
|
|
|
(proof run t/*/*.t.js | tee .proof.out | proof progress) || (proof errors < .proof.out) || exit 1
|
|
|
|
if [ "$TRAVIS" = "true" ]; then
|
|
echo "running with coverage"
|
|
t/cover
|
|
|
|
echo "submitting to coveralls.io"
|
|
(cat coverage/lcov.info | node_modules/.bin/coveralls) > /dev/null 2>&1
|
|
fi
|
|
|
|
echo ""
|
|
|