Closed adam-fowler closed 4 months ago
@plemarquand look at this while moving coverage
Now that #807 is merged the coverage reports are provided by VSCode APIs, and work in dev containers.
@plemarquand look at this while moving coverage