diff --git a/.azure/macos-installhs-stack.yml b/.azure/macos-installhs-stack.yml
index 337a7a7c5..4b3a9a04e 100644
--- a/.azure/macos-installhs-stack.yml
+++ b/.azure/macos-installhs-stack.yml
@@ -2,7 +2,7 @@ jobs:
 - job: MacOs_installhs_Stack
   timeoutInMinutes: 0
   pool:
-    vmImage: macOS-10.13
+    vmImage: macOS-10.14
   variables:
     YAML_FILE: install/shake.yaml
   steps:
diff --git a/.azure/macos-stack.yml b/.azure/macos-stack.yml
index 0f88e67c5..a771bdd77 100644
--- a/.azure/macos-stack.yml
+++ b/.azure/macos-stack.yml
@@ -2,7 +2,7 @@ jobs:
 - job: MacOs_Stack
   timeoutInMinutes: 0
   pool:
-    vmImage: macOS-10.13
+    vmImage: macOS-10.14
   strategy:
     matrix:
       stack-def:
diff --git a/.azure/windows-stack.yml b/.azure/windows-stack.yml
index b54adb522..4d78751c1 100644
--- a/.azure/windows-stack.yml
+++ b/.azure/windows-stack.yml
@@ -48,6 +48,7 @@ jobs:
   - bash: |
       source .azure/windows-stack.bashrc
       stack setup --stack-yaml $(YAML_FILE)
+      stack setup --resolver=lts-13.20 # for liquidhaskell
     displayName: Install GHC
   - bash: |
       source .azure/windows-stack.bashrc
@@ -87,7 +88,6 @@ jobs:
     displayName: "Install Runtime Test-Dependencies: z3"
   - bash: |
       source .azure/windows-stack.bashrc
-      stack setup --resolver=lts-13.20 
       stack install --resolver=lts-13.20 liquid-fixpoint-0.8.0.2 liquidhaskell-0.8.6.2
     displayName: "Install Runtime Test-Dependencies: liquidhaskell"
   - bash: |