git.iko.soy/Idris-dev
on master help sign in
Run travis under trusty
e110171Niklas Larsson
.travis.yml+1
compare with master
unifiedsplit
@@ -1,3 +1,4 @@
1+dist: trusty
1sudo: false
2sudo: false
2
3
3language: c
4language: c
appveyor.yml+1−1
@@ -1,7 +1,7 @@
1version: 1.0.{build}
1version: 1.0.{build}
2init:
2init:
3- ps: >-
3- ps: >-
4− choco install cabal
4+ choco install cabal --no-progress
5
5
6 mkdir C:\ghc
6 mkdir C:\ghc
7
7