common: use unofficial Coverity workflow

.github/workflows/scan_coverity.yml

@@ -10,31 +10,25 @@ on:
       COVERITY_SCAN_TOKEN:
         required: true
 
-env:
-  GITHUB_REPO: pmem/pmdk
-  DOCKER_REPO: ghcr.io/pmem/pmdk
-  COVERITY_SCAN_NOTIFICATION_EMAIL:  ${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }}
-  COVERITY_SCAN_TOKEN:               ${{ secrets.COVERITY_SCAN_TOKEN }}
-  HOST_WORKDIR: /home/runner/work/pmdk/pmdk
-  WORKDIR:      utils/docker
-  PMDK_CC:      gcc
-  PMDK_CXX:     g++
-  VALGRIND:     1
-  COVERITY:     1
-
 jobs:
   linux:
     name: Linux
     runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        CONFIG: ["OS=ubuntu OS_VER=22.04"]
+    permissions:
+      contents: none
     steps:
       - name: Clone the git repo
         uses: actions/checkout@v3
 
-      - name: Pull or rebuild the image
-        run: cd $WORKDIR && ${{ matrix.CONFIG }} ./pull-or-rebuild-image.sh
+      - name: Install dependencies
+        run: sudo apt-get -y install libndctl-dev libdaxctl-dev
+
+      - name: Skip building doc
+        run: touch .skip-doc
 
-      - name: Run the build
-        run: cd $WORKDIR && ${{ matrix.CONFIG }} ./build-CI.sh
+      - name: Coverity scan
+        uses: vapier/coverity-scan-action@v1
+        with:
+          email: ${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }}
+          token: ${{ secrets.COVERITY_SCAN_TOKEN }}
+          command: make -j all

utils/docker/build-CI.sh

@@ -36,7 +36,6 @@ containerName=pmdk-${OS}-${OS_VER}
 if [[ $MAKE_PKG -eq 0 ]] ; then command="./run-build.sh"; fi
 if [[ $MAKE_PKG -eq 1 ]] ; then command="./run-build-package.sh"; fi
 if [[ $COVERAGE -eq 1 ]] ; then command="./run-coverage.sh"; fi
-if [[ "$COVERITY" -eq 1 ]]; then command="./run-coverity.sh"; fi
 
 if [ -n "$DNS_SERVER" ]; then DNS_SETTING=" --dns=$DNS_SERVER "; fi
 if [[ -f $CI_FILE_SKIP_BUILD_PKG_CHECK ]]; then BUILD_PACKAGE_CHECK=n; else BUILD_PACKAGE_CHECK=y; fi
@@ -86,8 +85,6 @@ docker run --rm --name=$containerName -i \
 	--env CI_BRANCH=$CI_BRANCH \
 	--env CI_EVENT_TYPE=$CI_EVENT_TYPE \
 	--env DOC_UPDATE_GITHUB_TOKEN=$DOC_UPDATE_GITHUB_TOKEN \
-	--env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN \
-	--env COVERITY_SCAN_NOTIFICATION_EMAIL=$COVERITY_SCAN_NOTIFICATION_EMAIL \
 	--env FAULT_INJECTION=$FAULT_INJECTION \
 	--env GITHUB_ACTIONS=$GITHUB_ACTIONS \
 	--env GITHUB_HEAD_REF=$GITHUB_HEAD_REF \

utils/docker/images/Dockerfile.ubuntu-22.04

@@ -63,9 +63,6 @@ ENV PACKAGING_DEPS "debhelper \
 # Codecov (coverage measurement) dependencies (optional)
 ENV CODECOV_DEPS curl perl
 
-# Coverity (static analysis) dependencies (optional)
-ENV COVERITY_DEPS ruby gcc g++ wget
-
 # miscellaneous dependencies (mostly for CI)
 ENV MISC_DEPS "clang \
 	hub \
@@ -98,7 +95,6 @@ RUN apt-get update && apt-get dist-upgrade -y \
 	$TESTS_DEPS \
 	$PACKAGING_DEPS \
 	$CODECOV_DEPS \
-	$COVERITY_DEPS \
 	$MISC_DEPS \
 	&& ./install-valgrind.sh ubuntu \
 	&& ./download-scripts.sh \