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.

Sign up for GitHub

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

Jump to bottom

Update JSON schema URL #5881

Merged
merged 2 commits into from Mar 6, 2023
Merged

Update JSON schema URL #5881

merged 2 commits into from Mar 6, 2023

Conversation

igorwojda
Copy link
Contributor

@igorwojda igorwojda commented Mar 5, 2023 •
edited

Closes #5879

@igorwojda igorwojda mentioned this pull request Mar 5, 2023
Closed
@github-actions
Copy link

github-actions bot commented Mar 5, 2023 •
edited

Messages
📖

Thank you very much for making our website better ❤️!

Generated by 🚫 dangerJS against 13e406c

@codecov
Copy link

codecov bot commented Mar 5, 2023 •
edited

Codecov Report

Merging #5881 (13e406c) into main (cf57e8e) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               main    #5881   +/-   ##
=========================================
  Coverage     84.59%   84.59%           
  Complexity     3784     3784           
=========================================
  Files           546      546           
  Lines         12943    12943           
  Branches       2273     2273           
=========================================
  Hits          10949    10949           
  Misses          861      861           
  Partials       1133     1133

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@igorwojda
Copy link
Contributor Author

igorwojda commented Mar 5, 2023 •
edited

Can you please restart this PR job?

@BraisGabin BraisGabin merged commit 71779ed into detekt:main Mar 6, 2023
@BraisGabin BraisGabin added this to the 1.23.0 milestone Mar 6, 2023
This was referenced Mar 12, 2023
Closed
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@BraisGabin BraisGabin BraisGabin approved these changes

@cortinico cortinico cortinico approved these changes

Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
1.23.0
Development

Successfully merging this pull request may close these issues.

Outdated JSON schema link in the docs
3 participants
@igorwojda @BraisGabin @cortinico