git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4770 from idris-lang/appveyor-fix
454f0b0Niklas Larsson
appveyor.yml+1−1
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1version: 1.0.{build}
1version: 1.0.{build}
2init:
2init:
3- ps: >-
3- ps: >-
4− choco install cabal --no-progress
4+ choco install cabal --version=2.4.1.0 --no-progress
5
5
6 mkdir C:\ghc
6 mkdir C:\ghc
7
7