Stream: git-wasmtime

Topic: wasmtime / Issue #1340 Simplify ssa builder

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2020 at 16:03):

bjorn3 commented on Issue #1340:

Could you please add Fixes #1259 to the PR description? That way github will automatically close the issue when this PR is merged.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2020 at 17:14):

github-actions[bot] commented on Issue #1340:

Subscribe to Label Action

This issue or pull request has been labeled: "cranelift"

<details> <summary>Users Subscribed to "cranelift"</summary>

</details>

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 18 2020 at 21:50):

sunfishcode commented on Issue #1340:

The CI failure here is likely due to running out of disk space. Would you mind rebasing this on master, which has several fixes to reduce the size of the build directory?

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 18:54):

sunfishcode commented on Issue #1340:

Thanks!

Last updated: Nov 22 2024 at 16:03 UTC