Skip to content

wasmi_cli: Preserve WASI exit status and other minor improvements#677

Merged
Robbepop merged 4 commits intomasterfrom rf-improve-cliFeb 13, 2023

Commits

Commits on Feb 13, 2023