Skip to content

Comments

updated devcontainer#1083

Merged
rsteube merged 1 commit intomasterfrom
update-devcontainer
Jan 14, 2025
Merged

updated devcontainer#1083
rsteube merged 1 commit intomasterfrom
update-devcontainer

Conversation

@rsteube
Copy link
Member

@rsteube rsteube commented Jan 14, 2025

No description provided.

@rsteube rsteube merged commit 101736c into master Jan 14, 2025
4 checks passed
@rsteube rsteube deleted the update-devcontainer branch January 14, 2025 20:37
@coveralls
Copy link

Pull Request Test Coverage Report for Build 12775977146

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 57.608%

Totals Coverage Status
Change from base Build 12775561959: 0.0%
Covered Lines: 3063
Relevant Lines: 5317

💛 - Coveralls

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.

2 participants