Switch to wasirun

extensions
Volodymyr Shymanskyy 5 years ago committed by GitHub
parent ed579fe9fd
commit ef583df580
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -114,4 +114,4 @@ jobs:
run: |
source $HOME/.wasienv/wasienv.sh
cd test
./run-spec-test.py --exec "wasmer ../build-wasi/wasm3.wasm"
./run-spec-test.py --exec "wasirun ../build-wasi/wasm3.wasm"

Loading…
Cancel
Save