git.iko.soy/Idris-dev
on master help sign in
explicit specify nodejs version to 6 (current LTS)
78ac52dbe5invis
.travis.yml+1−3
compare with master
unifiedsplit
@@ -6,9 +6,6 @@ env:
6 global:
6 global:
7 - PKGNAME=idris
7 - PKGNAME=idris
8
8
9−node_js:
10− - "6"
11−
12matrix:
9matrix:
13 include:
10 include:
14 - env: CABALVER="1.24" GHCVER="8.0.1" STACKVER="7.14" STYLISH=YES
11 - env: CABALVER="1.24" GHCVER="8.0.1" STACKVER="7.14" STYLISH=YES
@@ -117,6 +114,7 @@ install:
117 fi
114 fi
118
115
119before_script:
116before_script:
117+ - nvm install 6
120 - ORIGINAL_DIR=$(pwd)
118 - ORIGINAL_DIR=$(pwd)
121 - cabal sdist
119 - cabal sdist
122 - cd ..
120 - cd ..