Stream: git-wasmtime

Topic: wasmtime / PR #5027 feat(wasi) add `push_file` and `push_...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:02):

acfoltzer opened PR #5027 (assigned to acfoltzer) from acf/push_file to main:

These are useful when we don't want to collide with an existing file descriptor.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:02):

acfoltzer assigned PR #5027 to acfoltzer.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:02):

acfoltzer requested pchickey for a review on PR #5027.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:44):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:55):

acfoltzer has marked PR #5027 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 06 2022 at 21:55):

acfoltzer has enabled auto merge for PR #5027.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 07 2022 at 03:20):

acfoltzer merged PR #5027.

Last updated: Nov 22 2024 at 16:03 UTC