diff options
Diffstat (limited to 'getrandom/utils/ci/script.sh')
| -rw-r--r-- | getrandom/utils/ci/script.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/getrandom/utils/ci/script.sh b/getrandom/utils/ci/script.sh deleted file mode 100644 index b3e80d4..0000000 --- a/getrandom/utils/ci/script.sh +++ /dev/null @@ -1,13 +0,0 @@ -# Derived from https://github.com/japaric/trust - -set -ex - -main() { - cross test --target $TARGET - cross test --target $TARGET --examples -} - -# we don't run the "test phase" when doing deploys -if [ -z $TRAVIS_TAG ]; then - main -fi |