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

docs: add coverity badge to README.md #3630

Merged
merged 1 commit into from
Apr 19, 2024

Conversation

jadenabrams100
Copy link
Contributor

Add Coverity badge to README.md. This would make it easier for the average contributor (and the public as well) to see that GRASS is using the Coverity platform for static analysis. It could also serve as a way for contributors to learn more about the tool and sign up to view and fix defects through the Coverity platform.

Add Coverity badge to README.md. This would make it easier for the average contributor (and the public as well) to see that GRASS is  using the Coverity platform for static analysis.
@github-actions github-actions bot added the docs label Apr 19, 2024
@echoix
Copy link
Member

echoix commented Apr 19, 2024

LGTM!

@echoix echoix changed the title README: add coverity badge to README.md docs: add coverity badge to README.md Apr 19, 2024
@echoix echoix enabled auto-merge (squash) April 19, 2024 16:28
@echoix echoix merged commit 333890d into OSGeo:main Apr 19, 2024
23 checks passed
@neteler neteler added this to the 8.4.0 milestone Apr 21, 2024
lindakarlovska pushed a commit to lindakarlovska/grass that referenced this pull request Apr 29, 2024
Add Coverity badge to README.md. This would make it easier for the average contributor (and the public as well) to see that GRASS is  using the Coverity platform for static analysis.
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.

3 participants