Merge branch 'master' into push-notifications-interfaces

Author: pepeiborra

Diff for: .github/workflows/bench.yml

@@ -94,7 +94,7 @@ jobs:
       matrix:
         ghc: ['8.10.4']
         os: [ubuntu-latest]
-        example: ['Cabal-3.0.0.0', 'lsp-types-1.0.0.1', 'bench_example_HLS']
+        example: ['Cabal-3.0.0.0', 'lsp-types-1.0.0.1']
 
     steps:
     # Cancel queued workflows from earlier commits in this branch

Diff for: ghcide/bench/config.yaml

@@ -24,14 +24,15 @@ examples:
         - src/Language/LSP/VFS.hs
         - src/Language/LSP/Types/Lens.hs
   # Small but heavily multi-component example
-  - path: bench/example/HLS
-    modules:
-        - hls-plugin-api/src/Ide/Plugin/Config.hs
-        - ghcide/src/Development/IDE/Plugin/CodeAction/ExactPrint.hs
-        - ghcide/bench/hist/Main.hs
-        - ghcide/bench/lib/Experiments/Types.hs
-        - ghcide/test/exe/Main.hs
-        - exe/Plugins.hs
+  # Disabled as it is far to slow. hie-bios >0.7.2 should help
+  # - path: bench/example/HLS
+  #   modules:
+  #       - hls-plugin-api/src/Ide/Plugin/Config.hs
+  #       - ghcide/src/Development/IDE/Plugin/CodeAction/ExactPrint.hs
+  #       - ghcide/bench/hist/Main.hs
+  #       - ghcide/bench/lib/Experiments/Types.hs
+  #       - ghcide/test/exe/Main.hs
+  #       - exe/Plugins.hs
 
 # The set of experiments to execute
 experiments: