From 1d1bb926cae30160c30a717ac7d51b47e89750a2 Mon Sep 17 00:00:00 2001
From: Jared Weakly <jweakly@galois.com>
Date: Tue, 16 Jun 2020 16:05:30 -0700
Subject: [PATCH] retry cabal build on failure

---
 .github/ci.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/ci.sh b/.github/ci.sh
index 529dea1a..a7623ac2 100755
--- a/.github/ci.sh
+++ b/.github/ci.sh
@@ -88,7 +88,9 @@ build() {
   # Limit jobs on windows due to: https://gitlab.haskell.org/ghc/ghc/issues/17926
   if [[ "$ghc_ver" == "8.8.3" && $IS_WIN ]]; then JOBS=1; else JOBS=2; fi
   cabal v2-configure -j$JOBS --minimize-conflict-set
-  cabal v2-build "$@" exe:cryptol exe:cryptol-html
+  for _ in {1..3}; do # retry due to flakiness with windows builds
+    cabal v2-build "$@" exe:cryptol exe:cryptol-html && break
+  done
 }
 
 install_system_deps() {