GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-23 14:16:39 +03:00
Code Issues Projects Releases Wiki Activity

retry cabal build on failure

Browse Source
This commit is contained in:
Jared Weakly 2020-06-16 16:05:30 -07:00
parent 88b62013b4
commit 1d1bb926ca
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/ci.sh vendored
View File

@ -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() {