Merge branch 'mr/pmderodat/gpr2-valgrind-timeout' into 'master'

ada_api/gpr2_project_unit_provider: set XFAIL under Valgrind See merge request eng/libadalang/libadalang!1790
AdaCore · Sep 24, 2024 · 7e342b3 · 7e342b3
2 parents 6ff81ff + 26a6688
commit 7e342b3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/testsuite/tests/ada_api/gpr2_project_unit_provider/test.yaml b/testsuite/tests/ada_api/gpr2_project_unit_provider/test.yaml
@@ -1,2 +1,8 @@
 driver: ada-api
 main: main.adb
+control:
+    - [
+        XFAIL,
+        valgrind,
+        "eng/gpr/gpr-issues#406: GPR2 slowness, test times out"
+    ]