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

Enable Coverity #94

Merged
merged 1 commit into from
Feb 6, 2023
Merged

Enable Coverity #94

merged 1 commit into from
Feb 6, 2023

Conversation

lzaoral
Copy link
Member

@lzaoral lzaoral commented Feb 2, 2023

No description provided.

@lzaoral lzaoral added the ci CI related changes label Feb 2, 2023
@lzaoral lzaoral self-assigned this Feb 2, 2023
@lzaoral lzaoral force-pushed the enable-coverity branch 2 times, most recently from 1893d43 to f87dee1 Compare February 2, 2023 09:09
@lzaoral lzaoral marked this pull request as draft February 2, 2023 09:13
@lzaoral
Copy link
Member Author

lzaoral commented Feb 2, 2023

I'll make this PR ready for review once Synopsys approves this project.

@lzaoral
Copy link
Member Author

lzaoral commented Feb 2, 2023

The project was approved.

@lzaoral lzaoral marked this pull request as ready for review February 2, 2023 12:36
@lzaoral lzaoral requested a review from kdudka February 2, 2023 12:36
kdudka
kdudka approved these changes Feb 2, 2023
View reviewed changes
Copy link
Member

@kdudka kdudka left a comment •
edited

Choose a reason for hiding this comment

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

Looks good. Thanks!

.github/workflows/coverity.yml Outdated Show resolved Hide resolved
@lzaoral lzaoral force-pushed the enable-coverity branch 2 times, most recently from a5642fe to 0137f1b Compare February 6, 2023 11:45
@lzaoral lzaoral merged commit 0137f1b into main Feb 6, 2023
@lzaoral lzaoral deleted the enable-coverity branch February 6, 2023 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kdudka kdudka kdudka approved these changes

Assignees

@lzaoral lzaoral

Labels
ci CI related changes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@lzaoral @kdudka