argumentcomputer / argumentcomputer/Wasm.lean
Use the currently blessed way to get the wasm-sandbox in CI
- Dominant language
- Lean
- Stars
- 48
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
# 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.
Contributor guide
No contributing guide indexed for this repository
Research direction
Find the CI configuration containing the current wget command for the x86 wasm-sandbox. Start by checking that configuration and the existing scripts/get entry point, then replace the download invocation with scripts/get sandbox.x86. Run the relevant CI check and verify that the sandbox is retrieved successfully; adjust dependencies only if the check shows they are missing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- ci-cd
- Issue type
- Refactor
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100