Stream: git-wasmtime

Topic: wasmtime / PR #7766 Draft: Support compilation-only build...


view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2024 at 10:41):

adambratschikaye opened PR #7766 from adambratschikaye:abk/runtime-feature to bytecodealliance:main:

Initial draft of changes discussed here: https://github.com/bytecodealliance/wasmtime/issues/7652

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2024 at 10:54):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 10 2024 at 12:50):

github-actions[bot] commented on PR #7766:

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "cranelift", "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 (Jan 10 2024 at 12:50):

github-actions[bot] commented on PR #7766:

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 (Jan 18 2024 at 07:30):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 07:32):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 07:44):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 08:23):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 08:58):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 10:30):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 10:59):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 12:50):

github-actions[bot] commented on PR #7766:

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "wasi", "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 (Jan 18 2024 at 13:22):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 14:51):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2024 at 09:08):

adambratschikaye updated PR #7766.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2024 at 09:31):

adambratschikaye updated PR #7766.


Last updated: Nov 22 2024 at 17:03 UTC