Stream: git-wasmtime

Topic: wasmtime / PR #7483 wasi-sockets: Simplify ip name lookup...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 12:51):

badeend opened PR #7483 from badeend:simplify-ip-name-lookup to bytecodealliance:main:

Simplify ip name lookup interface:

Related: https://github.com/bytecodealliance/wasmtime/issues/7013


FYI, the test includes a lookup to münchen.de to test for internationalized domain names support. But it might be a bit weird to query this random, non-affiliated DNS server in the wasmtime CI. I tried looking for a standard testdomain (like example.com), but couldn't find any.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 12:51):

badeend requested wasmtime-core-reviewers for a review on PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 12:51):

badeend requested fitzgen for a review on PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 12:57):

badeend updated PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 13:11):

badeend updated PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 05 2023 at 21:36):

alexcrichton submitted PR review:

Thanks!

We can add some code to the test later on if the resolution fails to try to cover up anything spurious that might show up

view this post on Zulip Wasmtime GitHub notifications bot (Nov 06 2023 at 18:50):

badeend updated PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 06 2023 at 18:56):

alexcrichton has enabled auto merge for PR #7483.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 06 2023 at 20:11):

alexcrichton merged PR #7483.


Last updated: Dec 23 2024 at 13:07 UTC