Skip to content

Conversation

alexcrichton
Copy link
Member

This was enabled in rust-lang/rust#72700 but it looks like it's still
too noisy for it to be useful to us.

@github-actions github-actions bot added the wasmtime:c-api Issues pertaining to the C API. label Jul 16, 2020
@github-actions
Copy link

Subscribe to Label Action

cc @peterhuene

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 .github/subscribe-to-label.json configuration file.

Learn more.

This was enabled in rust-lang/rust#72700 but it looks like it's still
too noisy for it to be useful to us.
@bnjbvr bnjbvr merged commit 41e1300 into bytecodealliance:main Jul 16, 2020
@alexcrichton alexcrichton deleted the fix-ci branch July 16, 2020 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wasmtime:c-api Issues pertaining to the C API.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants