Git fork

Merge branch 'js/github-ci-win-coverity-fix'

Fixes for GitHub Actions Coverity job.

* js/github-ci-win-coverity-fix:
ci(coverity): output the build log upon error
ci(coverity): fix building on Windows

+6 -2
+6 -2
.github/workflows/coverity.yml
··· 147 147 key: cov-build-${{ env.COVERITY_LANGUAGE }}-${{ env.COVERITY_PLATFORM }}-${{ steps.lookup.outputs.hash }} 148 148 - name: build with cov-build 149 149 run: | 150 - export PATH="$RUNNER_TEMP/cov-analysis/bin:$PATH" && 150 + export PATH="$PATH:$RUNNER_TEMP/cov-analysis/bin" && 151 151 cov-configure --gcc && 152 - cov-build --dir cov-int make 152 + if ! cov-build --dir cov-int make 153 + then 154 + cat cov-int/build-log.txt 155 + exit 1 156 + fi 153 157 - name: package the build 154 158 run: tar -czvf cov-int.tgz cov-int 155 159 - name: submit the build to Coverity Scan