Stream: git-wasmtime

Topic: wasmtime / PR #7790 Fix generating interface names which ...

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 04:42):

Archisman-Mridha edited PR #7790.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 18 2024 at 15:26):

alexcrichton commented on PR #7790:

Thanks! With the test failure on CI I think there may be a few more cases that need to be handled?

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 16:15):

Archisman-Mridha updated PR #7790.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 16:16):

Archisman-Mridha commented on PR #7790:

Hey, sorry for stretching this. I had to deal with my exams :).

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 16:20):

Archisman-Mridha edited a comment on PR #7790:

Hey, sorry for stretching this. I had to deal with my exams :).

My earlier commit wasn't the actual solution to the problem.

I have pushed another commit containing the actual fix. Please approve the CI when you get time.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 18:48):

alexcrichton submitted PR review:

No worries, and thanks again!

view this post on Zulip Wasmtime GitHub notifications bot (Feb 12 2024 at 19:27):

alexcrichton merged PR #7790.

Last updated: Dec 23 2024 at 12:05 UTC