From be51eb48ba354f33398c99a499040d05b9272340 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 13 Jun 2026 16:02:09 +0000
Subject: [PATCH 1/3] Initial plan


From f961cf13caa794f3bdd2da9fedb7772de1142a7c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 13 Jun 2026 16:05:08 +0000
Subject: [PATCH 2/3] Pin windows workflow to windows-2022 for VS2022 generator

---
 .github/workflows/windows.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 39e524c0d6..903f5a5fd5 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -7,7 +7,7 @@ permissions:
 
 jobs:
   build:
-    runs-on: windows-latest
+    runs-on: windows-2022
     strategy:
       fail-fast: true
       matrix:

From 794c407725223995cc4ba9d22fd20abb1eb10660 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 13 Jun 2026 16:18:39 +0000
Subject: [PATCH 3/3] Skip Coverity job when required secrets are unavailable

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

diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
index e9ced11661..70efcb09fa 100644
--- a/.github/workflows/coverity_scan.yml
+++ b/.github/workflows/coverity_scan.yml
@@ -7,6 +7,7 @@ permissions:
 
 jobs:
   coverity_scan:
+    if: ${{ secrets.COVERITY_TOKEN != '' && secrets.EMAIL != '' }}
     runs-on: ubuntu-latest
     name: Coverity Scan
     steps: