From b97e939f32803191127e28ca64bd92b36a038445 Mon Sep 17 00:00:00 2001
From: Ray Speth <speth@mit.edu>
Date: Sun, 1 Oct 2023 22:17:12 -0400
Subject: [PATCH] [CI] Pin MinGW verision

Fixes failing builds, pending updates to the setup-mingw action
---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3cfc146712..357f162ba9 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -724,6 +724,7 @@ jobs:
       with:
         platform: x64
         static: false
+        version: 12.2
     - name: Install Boost Headers
       if: steps.cache-boost.outputs.cache-hit != 'true'
       run: |