Skip to content

Drop coverity #124457

@Mariatta

Description

@Mariatta

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

Metadata

Metadata

Assignees

Labels

type-featureA feature request or enhancement

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions