Skip to content

ci: adds a dev container configuration - #2944

Merged
Vincent Biret (baywet) merged 1 commit into
mainfrom
ci/dev-container
Jul 14, 2026
Merged

ci: adds a dev container configuration#2944
Vincent Biret (baywet) merged 1 commit into
mainfrom
ci/dev-container

Conversation

@baywet

Copy link
Copy Markdown
Member

fixes #607

Signed-off-by: Vincent Biret <vibiret@microsoft.com>
@github-code-quality

Copy link
Copy Markdown

Code Coverage Overview

Languages: C#

C# / code-coverage/dotnet

The overall coverage remains at 89%, unchanged from the main branch.


Code Coverage is in Public Preview. Learn more and provide us with your feedback.

@sonarqubecloud

Copy link
Copy Markdown

@baywet
Vincent Biret (baywet) merged commit 1d7aa76 into main Jul 14, 2026
19 checks passed
@baywet
Vincent Biret (baywet) deleted the ci/dev-container branch July 14, 2026 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add GitHub Codespaces configuration

2 participants