We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents d6e9865 + abc0a1c commit 96c22f8Copy full SHA for 96c22f8
1 file changed
etc/CodeCoverage.sh
@@ -59,6 +59,11 @@ _coverity() {
59
tar czvf openroad.tgz cov-int
60
commitSha="$(git rev-parse HEAD)"
61
62
+ if [ -n "${SKIP_COVERITY_UPLOAD+x}" ]; then
63
+ echo "SKIP_COVERITY_UPLOAD is set. Skipping Coverity upload."
64
+ exit 0
65
+ fi
66
+
67
# Step 1: Initialize a build. Fetch a cloud upload url.
68
curl -X POST \
69
-d version="version=${commitSha}" \
0 commit comments