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

Fix dev compile options documentation #2741

Merged
merged 1 commit into from
Apr 23, 2024
Merged

Conversation

paulcadman
Copy link
Collaborator

The wasm32-wasi target was renamed to wasi in #2713

@paulcadman paulcadman added documentation Improvements or additions to documentation CLI labels Apr 18, 2024
@paulcadman paulcadman added this to the 0.6.2 milestone Apr 18, 2024
@paulcadman paulcadman self-assigned this Apr 18, 2024
@janmasrovira janmasrovira force-pushed the fix-dev-compile-docs branch from b55f59c to 7eadc60 Compare April 19, 2024 08:12
@paulcadman paulcadman force-pushed the fix-dev-compile-docs branch from 7eadc60 to a647bad Compare April 22, 2024 09:26
The wasm32-wasi target was renamed to wasi in #2713
@janmasrovira janmasrovira force-pushed the fix-dev-compile-docs branch from a647bad to 90753ab Compare April 23, 2024 08:05
@paulcadman paulcadman merged commit cde3ed9 into main Apr 23, 2024
4 checks passed
@paulcadman paulcadman deleted the fix-dev-compile-docs branch April 23, 2024 11:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLI documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants