Skip to content

Conversation

Mariatta
Copy link
Member

@Mariatta Mariatta commented Sep 24, 2024

Remove coverity from CPython Repo.

There are still some mentions about coverity in the history and changelog for v 2.5. I kept those in there.

@@ -0,0 +1,2 @@
Remove coverity scan from the CPython repo. It has not been used since 2020
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wasn't sure if a Misc News entry is needed, and also I wasn't sure which section should it be.
I chose the "Documentation" section here.

@vstinner
Copy link
Member

Please keep it. We are using Coverity at Red Hat. cc @stratakis

@stratakis
Copy link
Contributor

While we use coverity at Red Hat, it's usually done on specific time frames using OpenScanHub. And we don't utilize the coverity scan model file. So overall I believe the removal is fine. Maybe in the future a nice project would be to introduce coverity scanning through either some service, the buildbots or github actions.

@vstinner
Copy link
Member

And we don't utilize the coverity scan model file.

Oh, I didn't know that.

Copy link
Member

@vstinner vstinner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Let's remove it. It's easy to add it again if someone decides to use it again.

@AA-Turner AA-Turner changed the title gh-124457: Remove coverity from CPython repo. gh-124457: Remove coverity from CPython repo Sep 26, 2024
@Mariatta Mariatta merged commit 6cba6e1 into python:main Sep 27, 2024
28 checks passed
@Mariatta Mariatta deleted the remove-coverity branch September 27, 2024 20:42
@Mariatta
Copy link
Member Author

Do I need to backport this?

@Mariatta
Copy link
Member Author

And thanks for the reviews!

@vstinner
Copy link
Member

Do I need to backport this?

I don't think so.

@Mariatta
Copy link
Member Author

Thanks, in this case I'll close the issue.

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.

4 participants