diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 5e5c816..0000000 --- a/.travis.yml +++ /dev/null @@ -1,19 +0,0 @@ -sudo: false -language: c # Choose a lightweight base image - -cache: - directories: - - $HOME/.stack - -addons: - apt: - packages: - - libgmp-dev - -before_install: -- mkdir -p ~/.local/bin -- export PATH=$HOME/.local/bin:$PATH -- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack' - -script: -- stack --no-terminal test |