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

Add .vscode/settings.json to .gitignore #7298

Merged
merged 2 commits into from
May 15, 2024

Conversation

baseballyama
Copy link
Contributor

This is a small PR, but I would like to add a VSCode setting when modifying documentation, but I don't want to commit this.
Therefore I updated .gitignore.

(Basically, I work with IntelliJ IDEA, but VSCode is sometimes more convenient for document editing.)

Copy link

codecov bot commented May 15, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.77%. Comparing base (bdbaf25) to head (43d048a).
Report is 2 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##               main    #7298   +/-   ##
=========================================
  Coverage     84.77%   84.77%           
  Complexity     3992     3992           
=========================================
  Files           578      578           
  Lines         12026    12026           
  Branches       2477     2477           
=========================================
  Hits          10195    10195           
  Misses          606      606           
  Partials       1225     1225           

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

.gitignore Outdated Show resolved Hide resolved
Co-authored-by: Zongle Wang <wangzongler@gmail.com>
@3flex 3flex merged commit bf44b3c into detekt:main May 15, 2024
21 checks passed
@detekt-ci
Copy link
Collaborator

Warnings
⚠️ This PR is approved with no milestone set. If merged, it won't appear in the detekt release notes.

Generated by 🚫 dangerJS against 43d048a

@baseballyama baseballyama deleted the chore/gitignore branch May 15, 2024 09:15
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.

None yet

4 participants