--disable-tests

Author: pepeiborra

.github/workflows/build.yml

@@ -87,8 +87,8 @@ jobs:
     - name: Build server
       # Try building it twice in case of flakey builds on Windows
       run: |
-        cabal build exe:hls -O2 $LINUX_CABAL_ARGS || \
-        cabal build exe:hls -O2 $LINUX_CABAL_ARGS -j1
+        cabal build --disable-tests exe:hls -O2 $LINUX_CABAL_ARGS || \
+        cabal build --disable-tests exe:hls -O2 $LINUX_CABAL_ARGS -j1
 
     - name: Compress server binary
       id: compress_server_binary