Experimental: add 'make dialyzer' to priv/test-for-gh-pr.sh
This commit is contained in:
parent
b500d5f449
commit
cfaed63fa7
1 changed files with 2 additions and 1 deletions
|
@ -4,6 +4,7 @@ if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then
|
||||||
echo '$TRAVIS_PULL_REQUEST is false, skipping tests'
|
echo '$TRAVIS_PULL_REQUEST is false, skipping tests'
|
||||||
exit 0
|
exit 0
|
||||||
else
|
else
|
||||||
echo '$TRAVIS_PULL_REQUEST is not false, running tests'
|
echo '$TRAVIS_PULL_REQUEST is not false ($TRAVIS_PULL_REQUEST), running tests'
|
||||||
make test
|
make test
|
||||||
|
make dialyzer
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue