Wasmtime GitHub notifications bot (May 26 2020 at 20:05): Wasmtime GitHub notifications bot (May 26 2020 at 20:05):github-actions[bot] commented on Issue #1761:
Subscribe to Label Action
cc @peterhuene
<details>
This issue or pull request has been labeled: "wasmtime:api"Thus the following users have been cc'd because of the following labels:
- peterhuene: wasmtime:api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (May 26 2020 at 21:47):github-actions[bot] commented on Issue #1761:
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:
- peterhuene: wasmtime:c-api
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (May 27 2020 at 19:55):github-actions[bot] commented on Issue #1761:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:docs"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (Jun 02 2020 at 17:54):sunfishcode commented on Issue #1761:
Please add a note to the RELEASES.md describing this change :smile:
Last updated: Nov 22 2024 at 16:03 UTC