This is an automated email from the ASF dual-hosted git repository.
djwang pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/cloudberry.git
The following commit(s) were added to refs/heads/main by this push:
new 1cbab9b3c4 CI: Enable PAX module in Coverity scan workflow
1cbab9b3c4 is described below
commit 1cbab9b3c4b64c9a75fdfcd44edcd9e79204739d
Author: Dianjin Wang <[email protected]>
AuthorDate: Tue Apr 15 15:22:50 2025 +0800
CI: Enable PAX module in Coverity scan workflow
The PAX storage module was missing from the daily Coverity static analysis
scan, which left potential code issues undetected. This change ensures PAX
module is properly initialized and included in the scan process, providing
better code quality coverage for the entire project.
Changes made:
- Added `git submodule update --init` command before configure
- Added `--enable-pax` flag to configure options
Before this PR, the Coverity scan had errors because of the PAX feature
is introduced.
See: https://github.com/apache/cloudberry/issues/1049
---
.github/workflows/coverity.yml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index f377a231fd..d4cef73b36 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -90,12 +90,14 @@ jobs:
su - gpadmin -c "cd $WORKSPACE"
export LD_LIBRARY_PATH=/usr/local/cloudberry-db/lib:LD_LIBRARY_PATH
export PATH=$WORKSPACE/coverity_tool/bin:$PATH
+ git submodule update --init
./configure --prefix=/usr/local/cloudberry-db \
--disable-external-fts \
--enable-gpcloud \
--enable-ic-proxy \
--enable-orafce \
--enable-orca \
+ --enable-pax \
--enable-pxf \
--enable-tap-tests \
--with-gssapi \
@@ -122,4 +124,4 @@ jobs:
--form [email protected] \
--form version="Commit $GITHUB_SHA" \
--form description="Build submitted via CI" \
- https://scan.coverity.com/builds?project=apache%2Fcloudberry
\ No newline at end of file
+ https://scan.coverity.com/builds?project=apache%2Fcloudberry
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
