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

ci: do nightly polkit builds & submit them to Coverity #523

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

ci: do nightly polkit builds & submit them to Coverity #523

wants to merge 1 commit into from
+98 −0

Commits on Nov 7, 2024

  1. ci: do nightly polkit builds & submit them to Coverity 

    Let's reintroduce regular Coverity builds. Since there's a pretty strict
rate limit [0], do one nightly build each day, and upload it to Coverity
for analysis. The results can be then found in the project dashboard [1].

[0] https://scan.coverity.com/faq#frequency
[1] https://scan.coverity.com/projects/polkit?tab=overview

Resolves: #517
    @mrc0mmand
    mrc0mmand committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    0ae5920 View commit details
    Browse the repository at this point in the history