GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity

Fix Travis for real now

Browse Source
This commit is contained in:
Aaron Tomb 2017-10-06 14:44:11 -07:00
parent 3134acbb7d
commit ef09fde6e5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -17,7 +17,7 @@ matrix:
env: CABALVER="2.0" GHCVER="8.2.1"
compiler: ": #GHC 8.2.1"
install:
before_install:
- if [[ $TRAVIS_OS_NAME == 'linux' ]];
then
mkdir -p $HOME/bin;
@ -34,7 +34,7 @@ install:
fi
- env
build:
script:
- cabal update
- cabal new-build -j