Skip to content

Create json-output-v7.yml for Coverity reports #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
CosmicJesterX wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Create json-output-v7.yml for Coverity reports #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 18 additions & 0 deletions .github/workflows/json-output-v7.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
- name: Coverity json-output-v7 Report
# You may pin to the exact commit or the version.
# uses: synopsys-sig/coverity-report-output-v7-json@44cce7b541c36b7c5eeee522a48647723c7d5e03
uses: synopsys-sig/coverity-report-output-v7-json@v0.1.2
with:
# Your GitHub token
github-token:
# The fully qualified path to your v7 Coverity JSON file, generated by the cov-format-errors command
json-file-path:
# The URL of the Coverity Connect server to be referenced for REST API calls
coverity-url: # optional
# The name of this project within the Coverity Connect instance. This field is required to properly query issues from the server
coverity-project-name: # optional
# The username of the Coverity user whose account will access the Coverity Connect server. The user must have the "Access Web services" permission.
coverity-username: # optional
# The password associated with the Coverity username
coverity-password: # optional