From e95bad2dd23e3b0b294e4f9136254afc478b3e86 Mon Sep 17 00:00:00 2001 From: Alex Date: Sun, 1 Mar 2026 08:32:19 -0500 Subject: [PATCH] Create json-output-v7.yml for Coverity reports Added a new workflow for Coverity JSON report generation. --- .github/workflows/json-output-v7.yml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .github/workflows/json-output-v7.yml diff --git a/.github/workflows/json-output-v7.yml b/.github/workflows/json-output-v7.yml new file mode 100644 index 0000000..492f826 --- /dev/null +++ b/.github/workflows/json-output-v7.yml @@ -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 +