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>