Wasm.lean icon indicating copy to clipboard operation
Wasm.lean copied to clipboard

Published 20 hours ago • verified publisher icon lurk-lab

Use the currently blessed way to get the wasm-sandbox in CI

Open cognivore opened this issue 2 years ago • 0 comments

Why?

Currently we're using wget to get wasm-sandbox x86. But we have a new blessed way to do it: scripts/get sandbox.x86.

How?

  • [ ] Change wget command to scripts/get sandbox.x86 invocation.
  • [ ] See that it works.
  • [ ] If it doesn't, adjust the dependencies.

cognivore avatar Mar 27 '23 15:03 cognivore