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

DP-6244 enable coverity #528

Merged

TimoSairiala merged 1 commit into main from DP-6244-coverity-2023-6-0-update

Oct 26, 2023

TimoSairiala commented Oct 25, 2023 •

edited

Loading

update coverity 2023.06
include list of scan findings in the action summary
include full coverity report as zipped artifact on action
an example: https://github.com/tiiuae/px4-firmware/actions/runs/6635891574


          DP-6244 enable coverity

1ca63e5

TimoSairiala requested review from jnippula and jlaitine

October 25, 2023 05:35

jlaitine approved these changes

View reviewed changes

TimoSairiala merged commit 9e1ca7b into main

24 checks passed

TimoSairiala deleted the DP-6244-coverity-2023-6-0-update branch

October 26, 2023 04:44

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

Labels

None yet