re-enable ci tests (#154)

teragrep · Dec 12, 2024 · 615df44 · 615df44
1 parent 8e1423c
commit 615df44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -124,7 +124,7 @@ jobs:
 
       - name: Compile Coverity
         run: |
-           ${{ env.COVERITY }}/bin/cov-build --dir cov-int mvn -Pbuild-nogenerate -B -Drevision=${{ env.RELEASE_VERSION }} -Dsha1= -Dchangelist= clean compile
+           ${{ env.COVERITY }}/bin/cov-build --dir cov-int mvn -Pbuild-nogenerate -B -Drevision=${{ env.RELEASE_VERSION }} -Dsha1= -Dchangelist= clean verify
            tar czvf ${{ vars.COVERITY_PROJECT_URL_NAME }}.tgz cov-int
 
       - name: Prepare response url