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

include wasi:random/insecure{_seed} in command::add_to_linker #7613

Merged
merged 1 commit into from
Nov 30, 2023

Conversation

dicej
Copy link
Collaborator

@dicej dicej commented Nov 30, 2023

I believe these were omitted by mistake.

TODO: We should definitely use the wasmtime-wit-bindgen-generated add_to_linker function for the command world if possible, which would avoid such mistakes in the future.

I believe these were omitted by mistake.

TODO: We should definitely use the `wasmtime-wit-bindgen`-generated
`add_to_linker` function for the `command` world if possible, which would avoid
such mistakes in the future.

Signed-off-by: Joel Dice <joel.dice@fermyon.com>
@dicej dicej requested a review from a team as a code owner November 30, 2023 00:45
@dicej dicej requested review from pchickey and removed request for a team November 30, 2023 00:45
@alexcrichton alexcrichton added this pull request to the merge queue Nov 30, 2023
@github-actions github-actions bot added the wasi Issues pertaining to WASI label Nov 30, 2023
Merged via the queue into bytecodealliance:main with commit d4ef634 Nov 30, 2023
19 checks passed
@dicej dicej deleted the command-random-insecure branch November 30, 2023 03:14
alexcrichton added a commit to alexcrichton/wasmtime that referenced this pull request Nov 30, 2023
This followed bytecodealliance#7613 with a test to ensure that the interface isn't
accidentally left out in the future too.
github-merge-queue bot pushed a commit that referenced this pull request Nov 30, 2023
This followed #7613 with a test to ensure that the interface isn't
accidentally left out in the future too.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wasi Issues pertaining to WASI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants