Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build: add support for devcontainers #544

Merged
merged 2 commits into from
Dec 28, 2023
Merged

Conversation

Wodann
Copy link
Collaborator

@Wodann Wodann commented Dec 28, 2023

No description provided.

@Wodann Wodann added the type: feat New feature or request label Dec 28, 2023
@Wodann Wodann added this to the Mun v0.6.0 milestone Dec 28, 2023
@Wodann Wodann requested a review from baszalmstra December 28, 2023 14:56
@Wodann Wodann self-assigned this Dec 28, 2023
Copy link

codecov bot commented Dec 28, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d7526b9) 87.37% compared to head (e90ad95) 87.20%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #544      +/-   ##
==========================================
- Coverage   87.37%   87.20%   -0.18%     
==========================================
  Files         269      269              
  Lines       31167    31167              
==========================================
- Hits        27233    27180      -53     
- Misses       3934     3987      +53     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@Wodann Wodann changed the title feat: add support for devcontainers build: add support for devcontainers Dec 28, 2023
@Wodann Wodann added type: build Changes that affect the build system or external dependencies and removed type: feat New feature or request labels Dec 28, 2023
@Wodann Wodann merged commit 16821fb into mun-lang:main Dec 28, 2023
17 of 18 checks passed
@Wodann Wodann deleted the feat/devcontainer branch December 28, 2023 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: build Changes that affect the build system or external dependencies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants