Hi guys, How about changing the Coverity Scan frequency from once a day to once a week? We can check the results weekly to see if any changes are needed. If that’s okay, I can create a small PR to update the workflow.
I also want to apply for the SonarQube sponsorship for Cloudberry under Apache, which is widely used and will help us gain more insights from the static analysis. Let me know what you think. Best, Dianjin Wang On Sat, Mar 22, 2025 at 9:52 AM Dianjin Wang <wangdian...@gmail.com> wrote: > > Hi, > > Now the Coverity Scan can run smoothly: > https://github.com/apache/cloudberry/actions/runs/14003068651. If you have > any improvments, welcome to create a PR. > > Thanks to @chipitsine for his work. > > On Wednesday, March 19, 2025, Dianjin Wang <wangdian...@gmail.com> wrote: >> >> Hi everyone, >> >> Here are the updates on the Coverity Scan for Cloudberry. The ASF >> Infra team has successfully added the secret to the Cloudberry >> repository. One PR on Coverity Scan was also merged on GitHub [1], but >> it still requires improvements to run smoothly in GitHub Actions. >> >> You can check the apache/cloudberry to see the scan results: >> https://scan.coverity.com/projects/apache-cloudberry-1f6d497c-9dcb-4204-a37b-0d79c6c5bec3. >> >> [1] https://github.com/apache/cloudberry/pull/849 >> >> Best, >> Dianjin Wang >> >> On Fri, Mar 14, 2025 at 11:33 AM Dianjin Wang <djw...@apache.org> wrote: >> > >> > Dear Team, >> > >> > I hope you are doing well. >> > >> > I would like to request your assistance in adding a GitHub repository >> > secret for the Apache Cloudberry project. We are integrating Coverity >> > Scan into our workflow, and we need to securely store the Coverity >> > Scan Token in the GitHub Repo secrets. >> > >> > Could you please help set up a new secret in the apache/cloudberry[1] >> > repository with the following details? >> > >> > * Secret Name: COVERITY_SCAN_TOKEN >> > * Secret Value: (I will send the token separately to the Infra team >> > member handling this request.) >> > >> > I appreciate your support in setting this up. Thanks! >> > >> > [1] https://github.com/apache/cloudberry >> > >> > >> > Best, >> > Dianjin Wang > > > > -- > > Best, > Dianjin Wang > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@cloudberry.apache.org For additional commands, e-mail: dev-h...@cloudberry.apache.org
