GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

Build on Travis with GHC 8.2.1

Browse Source 
Builds with 8.0.2 were timing out, and maybe this will help.
This commit is contained in:
Aaron Tomb 2017-07-27 12:08:05 -07:00
parent 2fb706a44c
commit 520ff9183a
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.travis.yml
View File

@ -5,12 +5,12 @@ language: c
matrix:
include:
- env: CABALVER="1.24" GHCVER="8.0.2"
compiler: ": #GHC 8.0.2"
addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.2], sources: [hvr-ghc]}}
- env: CABALVER="1.24" GHCVER="8.2.1"
compiler: ": #GHC 8.2.1"
addons: {apt: {packages: [cabal-install-1.24,ghc-8.2.1], sources: [hvr-ghc]}}
- os: osx
env: CABALVER="1.24" GHCVER="8.0.2"
compiler: ": #GHC 8.0.2"
env: CABALVER="1.24" GHCVER="8.2.1"
compiler: ": #GHC 8.2.1"
before_install:
- if [[ $TRAVIS_OS_NAME == 'linux' ]];