Stream: git-wasmtime

Topic: wasmtime / issue #3024 Increase timeout for poll_oneoff t...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2021 at 18:39):

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

Subscribe to Label Action

cc @kubkon

<details>
This issue or pull request has been labeled: "wasi"

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 (Jun 23 2021 at 19:31):

pchickey commented on issue #3024:

Unfortunately we have had to increase these before to make other CI environments happy, and the interface it is testing only knows about wallclock time. So as gross as this is, we don’t have a better way.


Last updated: Dec 23 2024 at 13:07 UTC