Yo Hal! On Tue, 07 Feb 2023 18:23:17 -0800 Hal Murray via devel <[email protected]> wrote:
> Yes, it's reasonably obvious, but only after you find the right URL.
Consider it like a game of Adventure.
> > I approved your account.
>
> Thanks. I didn't get any you-were-approved mail.
>
> Do I have to explicitly sign up for mail about reports?
Dunno, go to the Dashboard for you options.
> > No. We run the Coverity CI job weekly via a schedule, ...
> > I'll work on running Coverity post-merge.
>
> I agree that running it every merge is overkill.
>
> A button that says run-now would be nice if we are working on fixing
> Coverity problems.
Can't object to free...
> How does Coverity fit into the release procedure?
It does not.
> Should we schedule releases after a Coverity run?
Probably.
RGDS
GARY
---------------------------------------------------------------------------
Gary E. Miller Rellim 109 NW Wilmington Ave., Suite E, Bend, OR 97703
[email protected] Tel:+1 541 382 8588
Veritas liberabit vos. -- Quid est veritas?
"If you can't measure it, you can't improve it." - Lord Kelvin
pgp44FLoIDo0T.pgp
Description: OpenPGP digital signature
_______________________________________________ devel mailing list [email protected] https://lists.ntpsec.org/mailman/listinfo/devel
