Merge pull request #518 from jneira/ci-retry-win

Retry the build three times to workaround compiler segfaults for windows and ghc-8.10

Author: jneira

.github/workflows/test.yml

@@ -55,7 +55,8 @@ jobs:
                    src/**/*.hs exe/*.hs
 
     - name: Build
-      run: cabal build
+      # Retry it three times to workaround compiler segfaults in windows
+      run: cabal build || cabal build || cabal build
     - name: Test
       env:
         HLS_TEST_EXE: hls