Stream: git-wasmtime

Topic: wasmtime / issue #7298 New Fuel APIs for Store


view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2023 at 21:30):

rockwotj commented on issue #7298:

I'm happy to drop the second commit and not try to fix the full resolution if there is a desire to keep the same semantics there (I'm assuming it's OK if there no async support to still return Ok from the out_of_gas function in Store).

view this post on Zulip Wasmtime GitHub notifications bot (Oct 19 2023 at 21:44):

github-actions[bot] commented on issue #7298:

Subscribe to Label Action

cc @fitzgen, @peterhuene

<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:api", "wasmtime:c-api"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Oct 20 2023 at 15:45):

github-actions[bot] commented on issue #7298:

Label Messager: wasmtime:config

It looks like you are changing Wasmtime's configuration options. Make sure to
complete this check list:

[fuzzing-config]: https://github.com/bytecodealliance/wasmtime/blob/ca0e8d0a1d8cefc0496dba2f77a670571d8fdcab/crates/fuzzing/src/generators.rs#L182-L194
[fuzzing-docs]: https://docs.wasmtime.dev/contributing-fuzzing.html


<details>

To modify this label's message, edit the <code>.github/label-messager/wasmtime-config.md</code> file.

To add new label messages or remove existing label messages, edit the
<code>.github/label-messager.json</code> configuration file.

Learn more.

</details>

view this post on Zulip Wasmtime GitHub notifications bot (Oct 20 2023 at 22:03):

alexcrichton commented on issue #7298:

I'll take a look once CI is green, so feel free to ping me when that comes up. I'll check in every now and then as well.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2023 at 01:13):

rockwotj commented on issue #7298:

@alexcrichton test are passing (no rush on a review, I wont be able to make updates until Monday anyways)

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2023 at 01:26):

rockwotj deleted a comment on issue #7298:

I'm happy to drop the second commit and not try to fix the full resolution if there is a desire to keep the same semantics there (I'm assuming it's OK if there no async support to still return Ok from the out_of_gas function in Store).

view this post on Zulip Wasmtime GitHub notifications bot (Oct 23 2023 at 18:41):

alexcrichton commented on issue #7298:

oops sorry queued up for merge a bit too soon there


Last updated: Nov 22 2024 at 16:03 UTC