Merge pull request #1610 from wultra/issues/gha-coverity-jdk-17

Downgrade JDK for Coverity GHA to 17
wultra · Mar 28, 2024 · 9e7513b · 9e7513b
2 parents 98080ed + 3397d6b
commit 9e7513b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
@@ -14,4 +14,3 @@ jobs:
       project-name: ${{ github.event.repository.name }}
       version: ${{ github.sha }}
       description: ${{ github.ref }}
-      java_version: 21