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

Coverity ID links in associated GitHub issues are broken #33097

Closed
sidcha opened this issue Mar 7, 2021 · 2 comments
Closed

Coverity ID links in associated GitHub issues are broken #33097

sidcha opened this issue Mar 7, 2021 · 2 comments
Assignees
Labels
bug The issue is a bug, or the PR is fixing a bug priority: low Low impact/importance bug

Comments

@sidcha
Copy link
Member

sidcha commented Mar 7, 2021

In issues #33095 and #33092, coverity ID links point to a different CID.

I can find the CIDs in the secondary link (eg. https://scan9.coverity.com/reports.htm#v32951/p12996/) which lists all CIDs.

@carlescufi
Copy link
Member

I believe that this is an issue with Coverity itself, not with the links generated by the script that creates the GitHub issues.

@nashif nashif added bug The issue is a bug, or the PR is fixing a bug priority: low Low impact/importance bug labels Mar 9, 2021
@nashif
Copy link
Member

nashif commented Mar 9, 2021

there is no way to link directly to a coverity CID (not that I know of), the link provided might not be helpful, so will be linking to something else (all outstanding issues) in the future.

Script fix, so closing this.

@nashif nashif closed this as completed Mar 9, 2021
@nashif nashif self-assigned this Mar 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug The issue is a bug, or the PR is fixing a bug priority: low Low impact/importance bug
Projects
None yet
Development

No branches or pull requests

3 participants