]> www.wagner.pp.ru Git - openssl-gost/engine.git/commitdiff
Merge pull request #379 from chipitsine/master
authorIlya Shipitsin <chipitsine@gmail.com>
Sat, 8 Jan 2022 08:31:14 +0000 (11:31 +0300)
committerGitHub <noreply@github.com>
Sat, 8 Jan 2022 08:31:14 +0000 (11:31 +0300)
CI: add daily Coverity scan job

.github/workflows/coverity.yml [new file with mode: 0644]

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
new file mode 100644 (file)
index 0000000..43d5a55
--- /dev/null
@@ -0,0 +1,28 @@
+name: Coverity
+
+on:
+  schedule:
+  - cron: "0 0 * * *"
+
+jobs:
+  scan:
+    runs-on: ubuntu-20.04
+    if: ${{ github.repository_owner == 'gost-engine' }}
+    env:
+      COVERITY_SCAN_PROJECT_NAME: 'gost-engine'
+      COVERITY_SCAN_BRANCH_PATTERN: '*'
+      COVERITY_SCAN_NOTIFICATION_EMAIL: 'chipitsine@gmail.com'
+      COVERITY_SCAN_BUILD_COMMAND_PREPEND: ".github/before_script.sh"
+      COVERITY_SCAN_BUILD_COMMAND: ".github/script.sh"
+      OPENSSL_BRANCH: openssl-3.0
+      USE_RPATH: yes
+
+    steps:
+    - uses: actions/checkout@v2
+      with:
+           submodules: true
+    - name: Run Coverity Scan
+      env:
+        COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
+      run: |
+        curl -fsSL "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || true