Stream: git-wasmtime

Topic: wasmtime / issue #5298 c-api: add wasm_config_parallel_co...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 18 2022 at 21:38):

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

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "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 (Nov 21 2022 at 21:28):

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

Subscribe to Label Action

cc @peterhuene

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

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 (Nov 21 2022 at 21:28):

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

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 (Nov 29 2022 at 22:02):

thibaultcha commented on issue #5298:

Can we restart the CI on this one? I don't think the failures are related; and we'd really like this being part of the next release if possible so that we don't lag too far behind the latest Wasmtime version...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2022 at 22:10):

alexcrichton commented on issue #5298:

Oh sorry missed the updates here, could you try rebasing? That known flaky test has been fixed on main

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2022 at 22:17):

thibaultcha commented on issue #5298:

Ah, excellent, done!


Last updated: Oct 23 2024 at 20:03 UTC