Skip to content

ci: adds a dev container configuration#2944

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

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

Conversation

@baywet

@baywet baywet commented Jul 14, 2026

Copy link
Copy Markdown
Member

fixes #607

Signed-off-by: Vincent Biret <vibiret@microsoft.com>
@baywet
baywet requested a review from a team as a code owner July 14, 2026 14:47
@baywet baywet self-assigned this Jul 14, 2026
@baywet
baywet enabled auto-merge July 14, 2026 14:47
@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 branch.


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

@sonarqubecloud

Copy link
Copy Markdown

@baywet
baywet merged commit 1d7aa76 into main Jul 14, 2026
19 checks passed
@baywet
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