Stream: git-wasmtime

Topic: wasmtime / PR #5338 cranelift-isle: Minor error-handling ...

Wasmtime GitHub notifications bot (Nov 29 2022 at 01:58):

jameysharp opened PR #5338 from isle-error-cleanup to main:

• Remove remaining references to Miette
• Borrow implementation of line_starts from codespan-reporting
• Clean up a use of Result that no longer conflicts with a local definition
• When printing plain errors, add a blank line between errors for readability

Extracted from #5322.

Wasmtime GitHub notifications bot (Nov 29 2022 at 01:58):

jameysharp requested elliottt for a review on PR #5338.

Wasmtime GitHub notifications bot (Nov 29 2022 at 02:05):

elliottt submitted PR review.

Wasmtime GitHub notifications bot (Nov 29 2022 at 02:06):

jameysharp has enabled auto merge for PR #5338.

Wasmtime GitHub notifications bot (Nov 29 2022 at 03:07):

jameysharp merged PR #5338.

Last updated: Dec 23 2024 at 12:05 UTC