Stream: git-wasmtime

Topic: wasmtime / issue #6338 Make Wasmtime compatible with Stac...

Wasmtime GitHub notifications bot (May 03 2023 at 22:44):

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

Subscribe to Label Action

cc @fitzgen, @peterhuene

<details>
This issue or pull request has been labeled: "wasmtime:api", "wasmtime:c-api", "wasmtime:ref-types"

Thus the following users have been cc'd because of the following labels:

• fitzgen: wasmtime:ref-types
• peterhuene: wasmtime:api, 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 08 2023 at 17:04):

jameysharp commented on issue #6338:

I'm not going to be able to review this in a timely fashion but it looks like there's excellent feedback already. @sunfishcode, can you take on approving this PR, or hand it off to someone else?

Wasmtime GitHub notifications bot (May 08 2023 at 17:51):

alexcrichton commented on issue #6338:

  = note: c:/programdata/chocolatey/lib/mingw/tools/install/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/bin/ld.exe: final link failed: No space left on device

Here's to hoping that's spurious...

Wasmtime GitHub notifications bot (May 08 2023 at 18:57):

alexcrichton commented on issue #6338:

Maybe the third time's the charm.

Last updated: Dec 23 2024 at 12:05 UTC