Merge branch 'topic/disable_gpr' into 'edge'

Disable some tests on Mac OS X to make a release See merge request eng/ide/ada_language_server!1461
AdaCore · Dec 7, 2023 · 4b13a0b · 4b13a0b
2 parents 1b83ca3 + 43e61f7
commit 4b13a0b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/testsuite/gpr_lsp/hover/test.yaml b/testsuite/gpr_lsp/hover/test.yaml
@@ -1 +1,3 @@
 title: 'textDocument/hover request'
+skip:
+    - ['SKIP', 'env.build.os.name not in ("linux","windows")']
diff --git a/testsuite/gpr_lsp/shutdown/test.yaml b/testsuite/gpr_lsp/shutdown/test.yaml
@@ -1 +1,3 @@
 title: 'shutdown'
+skip:
+    - ['SKIP', 'env.build.os.name not in ("linux","windows")']