Stream: git-wasmtime

Topic: wasmtime / PR #5292 Fix warnings in `cranelift-codegen` d...

Wasmtime GitHub notifications bot (Nov 17 2022 at 20:39):

fitzgen opened PR #5292 from fix-docs-warnings to main:

• Remove links to private types.
• Avoid ambiguity with HTML tags by wrapping code snippets in backticks.

Wasmtime GitHub notifications bot (Nov 17 2022 at 20:39):

fitzgen requested elliottt for a review on PR #5292.

Wasmtime GitHub notifications bot (Nov 17 2022 at 20:40):

jameysharp submitted PR review.

Wasmtime GitHub notifications bot (Nov 17 2022 at 20:42):

fitzgen has enabled auto merge for PR #5292.

Wasmtime GitHub notifications bot (Nov 17 2022 at 20:59):

elliottt submitted PR review.

Wasmtime GitHub notifications bot (Nov 17 2022 at 21:13):

fitzgen merged PR #5292.

Last updated: Dec 23 2024 at 12:05 UTC