Skip to content

Conversation

@ViktorHofer
Copy link
Member

DotNetBuildOffline is set in two test projects in the fsharp repo. Test projects are already filtered out when building from source, so those switches are unnecessary.

We plan to overhaul the source build control switches and remove this one completely. FSharp was the only repo that was still using it.

DotNetBuildOffline is set in two test projects in the fsharp repo. Test projects are already filtered out when building from source, so those switches are unnecessary.

We plan to overhaul the source build control switches and remove this one completely. FSharp was the only repo that was still using it.
@ViktorHofer ViktorHofer requested a review from a team as a code owner January 4, 2024 10:02
@github-actions
Copy link
Contributor

github-actions bot commented Jan 4, 2024

✅ No release notes required

@vzarytovskii
Copy link
Member

vzarytovskii commented Jan 4, 2024

@ViktorHofer these are not typical test projects, they are "normal" projects which we use to test trimming of freshly built FSharp core with fresh compiler. We use those to correctly restore packages, so some more work will be needed to remove those. I can say now what changes are required.

It will probably need some additional adjustment for nuget sources used to make sure only local directory is used.

@ViktorHofer
Copy link
Member Author

so some more work will be needed to remove those

Everything under "/tests" is already excluded in a source build today:

<ExcludeFromSourceBuild>true</ExcludeFromSourceBuild>

As the DotNetBuildOffline switch is only respected when building from source, the properties are just dead code and don't impact other kinds of builds.

@ViktorHofer
Copy link
Member Author

This PR depends on #16488

@ViktorHofer
Copy link
Member Author

@T-Gro / @vzarytovskii can you please merge this PR in?

@vzarytovskii vzarytovskii merged commit 119a2eb into dotnet:main Jan 8, 2024
@ViktorHofer ViktorHofer deleted the patch-2 branch January 8, 2024 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants