Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Post #35606 cleanup #39891

Merged
merged 4 commits into from
Jul 24, 2020
Merged

Post #35606 cleanup #39891

merged 4 commits into from
Jul 24, 2020

Conversation

ViktorHofer
Copy link
Member

No description provided.

@Dotnet-GitSync-Bot
Copy link
Collaborator

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@ViktorHofer ViktorHofer requested review from akoeplinger and removed request for marek-safar July 24, 2020 11:59
@ViktorHofer ViktorHofer merged commit f6aca9e into master Jul 24, 2020
@ViktorHofer ViktorHofer deleted the ViktorHofer-35606-cleanup branch July 24, 2020 16:02
Copy link
Member

@safern safern left a comment

Choose a reason for hiding this comment

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

LGTM, thanks.

@safern
Copy link
Member

safern commented Jul 24, 2020

I just tried this locally and it seems like CollectedBuildOutput is empty and the PInvokeGenerator fails.

this only happens when you try to run the /t:BuildWasmRuntimes target directly.

@ViktorHofer
Copy link
Member Author

Oh right, that needs follow-up work. Should be easy to condition.

ViktorHofer added a commit that referenced this pull request Jul 25, 2020
ViktorHofer added a commit that referenced this pull request Jul 25, 2020
Jacksondr5 pushed a commit to Jacksondr5/runtime that referenced this pull request Aug 10, 2020
Jacksondr5 pushed a commit to Jacksondr5/runtime that referenced this pull request Aug 10, 2020
@karelz karelz added this to the 5.0.0 milestone Aug 18, 2020
@ghost ghost locked as resolved and limited conversation to collaborators Dec 8, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants