Stream: git-wasmtime

Topic: wasmtime / issue #6369 copy input msg into result of C AP...


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

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

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 (May 11 2023 at 01:05):

theothergraham commented on issue #6369:

@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks

I tried looking at the details of the failed checks but was unable to find anything much to explain what happened. Is there anything I need to do to rectify this, or was it some sort of transient error and just needs to be added to the queue again?

view this post on Zulip Wasmtime GitHub notifications bot (May 11 2023 at 15:12):

alexcrichton commented on issue #6369:

Ah that's ok github actions was having a bad time yesterday so it's hopefully feeling better today


Last updated: Dec 23 2024 at 13:07 UTC