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.

Sign up for GitHub

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

Jump to bottom

[mono][wasi] WASI size improvements #94803

Open
6 of 10 tasks
Tracked by #65895
lewing opened this issue Nov 15, 2023 · 2 comments
Open
6 of 10 tasks
Tracked by #65895

[mono][wasi] WASI size improvements #94803

lewing opened this issue Nov 15, 2023 · 2 comments
Labels
arch-wasm WebAssembly architecture area-VM-meta-mono os-wasi Related to WASI variant of arch-wasm tracking This issue is tracking the completion of other related issues.
Milestone
10.0.0

Comments

@lewing
Copy link
Member

lewing commented Nov 15, 2023 •
edited
Loading

The wasi build needs several steps to reduce the final binary size.
@lewing lewing added arch-wasm WebAssembly architecture tracking This issue is tracking the completion of other related issues. os-wasi Related to WASI variant of arch-wasm labels Nov 15, 2023
@lewing lewing added this to the 9.0.0 milestone Nov 15, 2023
@ghost
Copy link

ghost commented Nov 15, 2023

Tagging subscribers to 'arch-wasm': @lewing
See info in area-owners.md if you want to be subscribed.

Issue Details

The wasi build needs several steps to reduce the final binary size.

Author: lewing
Assignees: -
Labels:

arch-wasm, tracking, os-wasi
Milestone: 9.0.0

@dotnet-issue-labeler dotnet-issue-labeler bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Nov 15, 2023
@lewing
Copy link
Member Author

lewing commented Nov 15, 2023

cc @SamMonoRT

@lewing lewing mentioned this issue Nov 15, 2023
Open
34 tasks
@lewing lewing changed the title [mono][wasi] Wasi size improvements [mono][wasi] WASI size improvements Nov 15, 2023
@lewing lewing added area-VM-meta-mono and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Nov 15, 2023
@pavelsavara pavelsavara modified the milestones: 9.0.0, 10.0.0 Jul 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
arch-wasm WebAssembly architecture area-VM-meta-mono os-wasi Related to WASI variant of arch-wasm tracking This issue is tracking the completion of other related issues.
Projects
None yet
Milestone
10.0.0
Development

No branches or pull requests
2 participants
@lewing @pavelsavara