From 6bb039045e95c45c40a59924fe4ab48433a6d22d Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Feb 2026 21:24:22 +0000
Subject: [PATCH] Remove RuntimeIdentifier to fix assembly loading on macOS

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly-validation.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/nightly-validation.yml b/.github/workflows/nightly-validation.yml
index 8a0e5cd0f..374f522ba 100644
--- a/.github/workflows/nightly-validation.yml
+++ b/.github/workflows/nightly-validation.yml
@@ -166,7 +166,8 @@ jobs:
           dotnet new console
           dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
           # Configure project to properly load native dependencies on macOS x64
-          # Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration
+          # Use AnyCPU without RuntimeIdentifier to avoid architecture mismatch
+          # The .NET runtime will automatically select the correct native library from runtimes/osx-x64/native/
           cat > test-nuget.csproj << 'CSPROJ'
           <Project Sdk="Microsoft.NET.Sdk">
             <PropertyGroup>
@@ -174,7 +175,6 @@ jobs:
               <TargetFramework>net8.0</TargetFramework>
               <ImplicitUsings>enable</ImplicitUsings>
               <Nullable>enable</Nullable>
-              <RuntimeIdentifier>osx-x64</RuntimeIdentifier>
               <PlatformTarget>AnyCPU</PlatformTarget>
             </PropertyGroup>
             <ItemGroup>
@@ -238,7 +238,8 @@ jobs:
           dotnet new console
           dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
           # Configure project to properly load native dependencies on macOS ARM64
-          # Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration
+          # Use AnyCPU without RuntimeIdentifier to avoid architecture mismatch
+          # The .NET runtime will automatically select the correct native library from runtimes/osx-arm64/native/
           cat > test-nuget.csproj << 'CSPROJ'
           <Project Sdk="Microsoft.NET.Sdk">
             <PropertyGroup>
@@ -246,7 +247,6 @@ jobs:
               <TargetFramework>net8.0</TargetFramework>
               <ImplicitUsings>enable</ImplicitUsings>
               <Nullable>enable</Nullable>
-              <RuntimeIdentifier>osx-arm64</RuntimeIdentifier>
               <PlatformTarget>AnyCPU</PlatformTarget>
             </PropertyGroup>
             <ItemGroup>