Stream: git-wasmtime

Topic: wasmtime / PR #1238 Update Cranelift's documentation afte...

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

sunfishcode requested bnjbvr for a review on PR #1238.

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

sunfishcode opened PR #1238 from cranelift-docs to master:

Update the documentation for the merger, and also for various changes in
Cranelift. Remove some old obsolete documentation, and convert the remaining
Sphinx files to Markdown. Some of the remaining content is still out of
date, but this is a step forward.

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

abrown submitted PR Review.

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

abrown created PR Review Comment:

Is this right? I get a 404.

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

abrown submitted PR Review.

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

abrown created PR Review Comment:

Never mind... I see what's happening down below.

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

sunfishcode created PR Review Comment:

It'll become right when this PR lands :sunglasses:

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

sunfishcode submitted PR Review.

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

alexcrichton submitted PR Review.

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

alexcrichton merged PR #1238.

Last updated: Nov 22 2024 at 16:03 UTC