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

raph-amiard · raph-amiard · commit 7e342b345eba · 2024-09-24T09:51:00.000Z
ada_api/gpr2_project_unit_provider: set XFAIL under Valgrind

See merge request eng/libadalang/libadalang!1790
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"
+    ]
