Skip to content

Conversation

@vzarytovskii
Copy link
Member

@vzarytovskii vzarytovskii commented Jun 22, 2023

I couldn't run build.sh locally, since I don't have a linux machine available right now, change is trivial, and hoping for CI to check all necessary things.

Comment on lines -15 to -16
All newly added packages should be grouped together at the end of the list. The reason this is
important is that when previous source-built artifacts are updated, the entries for the new projects
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ooops, these were unintentional, my editor removes trailing spaces, do you want me to revert them?

@MichaelSimons
Copy link
Member

I started a discussion on the need for these in dotnet/fsharp#15460. Let's settle on that before merging.

@MichaelSimons
Copy link
Member

Closing as these aren't necessary for the product source-build. These will be added as allowed prebuilts in dotnet/fsharp#15460.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants