From 2a3d39695d10cdb4099d27320e720a2b68d9297b Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]" <dotnet-maestro[bot]@users.noreply.github.com>
Date: Wed, 7 May 2025 02:04:10 +0000
Subject: [PATCH 1/2] [VMR] Codeflow e8bfd35-e8bfd35

[[ commit created by automation ]]
---
 proto.proj | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/proto.proj b/proto.proj
index eb0814976ea..69497f54883 100644
--- a/proto.proj
+++ b/proto.proj
@@ -7,7 +7,8 @@
   <!-- This needs to be built only in the inner VMR build proto invocation, but not the outer VMR build invocation.
        The project does not import Arcade targets so we only have the properties that were passed in, rather than
        calculated properties like DotNetBuildPhase. -->
-  <ItemGroup Condition="'$(DotNetBuildSourceOnly)'!='true' or '$(DotNetBuildInnerRepo)' == 'true'">
+  <!-- TODO: Remove this condition when fsharp upgraded to Arcade 10 -->
+  <ItemGroup Condition="'$(DotNetBuildOrchestrator)' == 'true' or '$(DotNetBuildSourceOnly)' != 'true' or '$(DotNetBuildInnerRepo)' == 'true'">
     <Projects Include="buildtools\fslex\fslex.fsproj" />
     <Projects Include="buildtools\fsyacc\fsyacc.fsproj" />
     <Projects Include="buildtools\AssemblyCheck\AssemblyCheck.fsproj" />

From 60d5d2b3874ed83c763db4bca238e04e17dcb3ce Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]" <dotnet-maestro[bot]@users.noreply.github.com>
Date: Wed, 7 May 2025 02:04:10 +0000
Subject: [PATCH 2/2] Update dependencies from https://github.com/dotnet/dotnet
 build 267041

---
 eng/Version.Details.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index 0f64f53dbf3..b626b2458b5 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <Dependencies>
-  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="721dc7a2a59416b21fc49447d264009d708d6000" BarId="265489" />
+  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="025e4e597746eafc5a736195b66aeb321455d64c" BarId="267041" />
   <ProductDependencies>
     <Dependency Name="Microsoft.SourceBuild.Intermediate.source-build-reference-packages" Version="9.0.0-alpha.1.25223.3">
       <Uri>https://github.com/dotnet/source-build-reference-packages</Uri>