File tree Expand file tree Collapse file tree 1 file changed +15
-6
lines changed Expand file tree Collapse file tree 1 file changed +15
-6
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,6 @@ permissions:
7
7
8
8
jobs :
9
9
coverity_scan :
10
- if : github.event_name == 'pull_request'
11
10
runs-on : ubuntu-latest
12
11
name : Coverity Scan
13
12
steps :
35
34
- name : Submit results to Coverity
36
35
run : |
37
36
tar czf cov-int.tgz cov-int
38
- curl --form token="${{ secrets.COVERITY_TOKEN }}" \
39
-
40
- --form version="GitHub PR #${{ github.event.pull_request.number }}" \
41
- --form description="CI run for PR" \
42
- https://scan.coverity.com/builds?project=gabime%2Fspdlog
37
+ response=$(curl --silent --show-error --fail \
38
+ --form token="${{ secrets.COVERITY_TOKEN }}" \
39
+
40
+ --form version="GitHub PR #${{ github.event.pull_request.number }}" \
41
+ --form description="CI run for PR" \
42
+ https://scan.coverity.com/builds?project=gabime%2Fspdlog)
43
+
44
+ echo "$response"
45
+
46
+ if echo "$response" | grep -qi "Build successfully submitted"; then
47
+ echo "Coverity upload succeeded"
48
+ else
49
+ echo "Coverity upload failed or was rejected"
50
+ exit 1
51
+ fi
You can’t perform that action at this time.
0 commit comments