Skip to content

Devenv2#352

Open
bstuder wants to merge 1 commit intowip-dashboardfrom
devenv2
Open

Devenv2#352
bstuder wants to merge 1 commit intowip-dashboardfrom
devenv2

Conversation

@bstuder
Copy link
Collaborator

@bstuder bstuder commented Mar 10, 2026

Devenv v1 -> v2

@PaulineMauryL
Copy link
Member

PaulineMauryL commented Mar 10, 2026

Coverage report

This PR does not seem to contain any modification to coverable code.

@bstuder bstuder self-assigned this Mar 11, 2026
@bstuder bstuder added enhancement New feature or request DevEnv Nix / DevEnv related labels Mar 11, 2026
@bstuder bstuder marked this pull request as ready for review March 11, 2026 10:19
@bstuder bstuder force-pushed the devenv2 branch 11 times, most recently from 1a75596 to 50178f5 Compare March 13, 2026 08:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DevEnv Nix / DevEnv related enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants