Merge branch 'topic/gnatcov' into 'master'

Import MC/DC coverage information into VS Code

Closes #1618

See merge request eng/ide/ada_language_server!2020

Author: eliericha

CHANGELOG.md

@@ -11,6 +11,8 @@ section below it for the last release. -->
   invocations in the same workspace, causing sporadic errors. Alire invocations
   are now made sequentially using file-based synchronization across ALS
   processes.
+* Support customizing GNATcoverage tasks, e.g. to select a coverage level
+* Support importing MC/DC reports from GNATcoverage
 
 ## 26.0.202504171
 

README.md

@@ -321,6 +321,8 @@ GNATcoverage coverage reports can be imported in VS Code as follows:
 
 Note that importing coverage reports does not require GNATcoverage to be installed. In particular, this enables a workflow where the coverage report is produced in CI and downloaded and imported into VS Code for visualization and analysis.
 
+Since VS Code does not support reporting MC/DC level coverage natively, that information is imported as branch coverage.
+
 The GNATtest integration in VS Code also supports running tests in coverage mode, if GNATcoverage is installed on the development machine.
 
 1. Run the task `ada: GNATcoverage - Setup runtime library` once to set up the GNATcoverage runtime library