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

Drop coverity #124457

Closed
Mariatta opened this issue Sep 24, 2024 · 1 comment
Closed

Drop coverity #124457

Mariatta opened this issue Sep 24, 2024 · 1 comment
Assignees
@Mariatta
Labels
type-feature A feature request or enhancement

Comments

@Mariatta
Copy link
Member

Mariatta commented Sep 24, 2024 •
edited by github-actions bot
Loading

Feature or enhancement

Proposal:

Drop references to coverity.

The last time the project was scanned using coverity was 2020. Those listed as admins/experts on coverity hasn't been maintaining it.
We discussed this during Python core sprint on Discord.
A DevGuide PR was opened to also remove mention about coverity.

Has this already been discussed elsewhere?

I have already discussed this feature proposal on Discourse

Links to previous discussion of this feature:

python/devguide#1411

Linked PRs
@Mariatta Mariatta added the type-feature A feature request or enhancement label Sep 24, 2024
@Mariatta Mariatta self-assigned this Sep 24, 2024
@hugovk hugovk changed the title Drop `c Drop coverity Sep 24, 2024
@bedevere-app bedevere-app bot mentioned this issue Sep 24, 2024
Merged
Mariatta added a commit that referenced this issue Sep 27, 2024
@Mariatta
gh-124457: Remove coverity from CPython repo (GH-124460)
6cba6e1 
Remove coverity from CPython repo.
@Mariatta
Copy link
Member Author

Closed via #124460

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Mariatta Mariatta

Labels
type-feature A feature request or enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Mariatta