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

chore: fix devcontainer setup #1543

Merged
merged 2 commits into from
Jun 28, 2023
Merged

Conversation

arthurschreiber
Copy link
Collaborator

Fixes the devcontainer setup.

@codecov
Copy link

codecov bot commented May 31, 2023

Codecov Report

Merging #1543 (5c7c023) into master (ed02374) will increase coverage by 0.77%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #1543      +/-   ##
==========================================
+ Coverage   79.75%   80.53%   +0.77%     
==========================================
  Files          91       91              
  Lines        4659     4659              
  Branches      856      856              
==========================================
+ Hits         3716     3752      +36     
+ Misses        676      635      -41     
- Partials      267      272       +5     

see 3 files with indirect coverage changes

@arthurschreiber arthurschreiber merged commit a093a25 into master Jun 28, 2023
23 of 26 checks passed
@github-actions
Copy link

github-actions bot commented Jul 2, 2023

🎉 This PR is included in version 16.2.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant