disable shorten HLS step

pepeiborra · pepeiborra · commit 61a110f0a9c4 · 2022-08-21T15:39:36.000+02:00
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -61,6 +61,7 @@ jobs:
       with:
         ghc: ${{ matrix.ghc }}
         os:  ${{ runner.os }}
+        shorten-hls: "false"
 
     # max-backjumps is increased as a temporary solution
     # for dependency resolution failure
