Wasmtime GitHub notifications bot (May 10 2023 at 20:45): 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:
- 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 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?
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: Nov 22 2024 at 16:03 UTC