Skip to content
This repository was archived by the owner on Oct 7, 2020. It is now read-only.

Commit 7dcede5

Browse files
committed
Move ghc install to avoid errors
1 parent c9d380c commit 7dcede5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.azure/windows-stack.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,6 +48,7 @@ jobs:
4848
- bash: |
4949
source .azure/windows-stack.bashrc
5050
stack setup --stack-yaml $(YAML_FILE)
51+
stack setup --resolver=lts-13.20 # for liquidhaskell
5152
displayName: Install GHC
5253
- bash: |
5354
source .azure/windows-stack.bashrc
@@ -87,7 +88,6 @@ jobs:
8788
displayName: "Install Runtime Test-Dependencies: z3"
8889
- bash: |
8990
source .azure/windows-stack.bashrc
90-
stack setup --resolver=lts-13.20
9191
stack install --resolver=lts-13.20 liquid-fixpoint-0.8.0.2 liquidhaskell-0.8.6.2
9292
displayName: "Install Runtime Test-Dependencies: liquidhaskell"
9393
- bash: |

0 commit comments

Comments
 (0)