Wasmtime GitHub notifications bot (Mar 16 2020 at 17:45): Wasmtime GitHub notifications bot (Mar 16 2020 at 17:45):froydnj commented on Issue #1328:
(I don't have the bit to actually publish to crates.io, somebody else will have to do that part.)
Wasmtime GitHub notifications bot (Mar 16 2020 at 18:52):fitzgen commented on Issue #1328:
I can do the publish.
Wasmtime GitHub notifications bot (Mar 16 2020 at 18:57):froydnj commented on Issue #1328:
How important are the CI failures? I see that a number of recent PRs have been getting merged with red CI, but I'm not well versed in what's liable to fail and what's not...
Wasmtime GitHub notifications bot (Mar 16 2020 at 18:59):pchickey commented on Issue #1328:
Can you hold this until #1311 is in? It had a failure on nightly only, I just rebased and force-pushed with hope that whatever was wrong with CI is fixed now
Wasmtime GitHub notifications bot (Mar 16 2020 at 19:01):fitzgen commented on Issue #1328:
Yeah, our CI setup is acting a bit flaky at the moment. I'm not sure what our policy on merging PRs is until we fix it. It seems like it might make sense to delay publishing releases until we know our CI is green...
Wasmtime GitHub notifications bot (Mar 16 2020 at 19:01):froydnj commented on Issue #1328:
Can you hold this until #1311 is in? It had a failure on nightly only, I just rebased and force-pushed with hope that whatever was wrong with CI is fixed now
Sure, no problem!
Wasmtime GitHub notifications bot (Mar 16 2020 at 19:41):pchickey commented on Issue #1328:
https://github.com/bytecodealliance/wasmtime/pull/1330 should help us make more sense of the CI failures.
Wasmtime GitHub notifications bot (Mar 17 2020 at 10:52):github-actions[bot] commented on Issue #1328:
Subscribe to Label Action
This issue or pull request has been labeled: "cranelift"
<details> <summary>Users Subscribed to "cranelift"</summary>
- @bnjbvr
</details>
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Wasmtime GitHub notifications bot (Mar 17 2020 at 18:35):pchickey commented on Issue #1328:
btw https://github.com/bytecodealliance/wasmtime/pull/1311 is merged so no more delay required there
Wasmtime GitHub notifications bot (Mar 17 2020 at 20:00):fitzgen commented on Issue #1328:
I will do the publish and verify that the re-added publish script works.
Wasmtime GitHub notifications bot (Mar 17 2020 at 20:21):fitzgen commented on Issue #1328:
Published!
Last updated: Nov 22 2024 at 17:03 UTC