From 9b57645bee792f70de78107daa1686f255bc2d57 Mon Sep 17 00:00:00 2001
From: Jaden Abrams <96440993+jadenabrams100@users.noreply.github.com>
Date: Wed, 3 Apr 2024 15:50:20 -0400
Subject: [PATCH] CI: specify coverity version in coverity.yml

---
 .github/workflows/coverity.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 18dceb1a6b1..32895e33e37 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -18,3 +18,4 @@ jobs:
           coverity_url: ${{ secrets.COVERITY_URL }}               # The URL to Coverity
           coverity_user: ${{ secrets.COVERITY_USER }}             # The user for the Coverity project
           coverity_passphrase: ${{ secrets.COVERITY_PASSPHRASE }} # The password for the Coverity user
+          coverity_version: '2023.6.2'                            # The version for Coverity Scan