Merge remote branch 'origin/master' into edge

automatic-merge · automatic-merge · commit 343b378b3c88 · 2023-11-17T00:56:37.000Z
diff --git a/integration/vscode/ada/xfail.yaml b/integration/vscode/ada/xfail.yaml
@@ -6,3 +6,10 @@ xfails: # Format is <testname>, <expectedstatus CRASH|DIFF> [, <platform>, <irre
           '',
           'Fails in GitLab CI but not locally',
       ]
+    - [
+          'lsp-ada_handlers-lsp-ada_handlers-adb-semantic',
+          'DIFF',
+          '',
+          '',
+          'Fails in GitLab CI but not locally',
+      ]
