Merge pull request #4770 from idris-lang/appveyor-fix
Fix Appveyor by pinning cabal
commit454f0b05e19d10588226d292952a836058123242
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 21 Oct 2019, 19:38 (7 years ago)
parent3b6982147d5336
appveyor.yml+1−1
@@ -1,7 +1,7 @@
11version: 1.0.{build}
22init:
33- ps: >-
4− choco install cabal --no-progress
4+ choco install cabal --version=2.4.1.0 --no-progress
55
66 mkdir C:\ghc
77