From a7e119e12e760f0d3a63918889597f0cff601b42 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Tue, 26 May 2026 14:24:44 +0200
Subject: [PATCH] Make check with fixed seed on x86_64 macOS

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

diff --git a/.github/workflows/msolve.yml b/.github/workflows/msolve.yml
index bdabbad5..5777ae9b 100644
--- a/.github/workflows/msolve.yml
+++ b/.github/workflows/msolve.yml
@@ -74,6 +74,7 @@ jobs:
         os:
           - ubuntu-latest
           - macos-latest
+          - macos-26-intel
     steps:
       - uses: actions/checkout@v6
       - name: "Install dependencies"