Try installing wasmer

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

@ -96,8 +96,9 @@ jobs:
steps: steps:
- uses: actions/checkout@v1 - uses: actions/checkout@v1
- name: Install wasienv - name: Install wasienv
run: | run: curl https://raw.githubusercontent.com/wasienv/wasienv/master/install.sh | sh
curl https://raw.githubusercontent.com/wasienv/wasienv/master/install.sh | sh - name: Install wasmer
run: curl https://get.wasmer.io -sSfL | sh
- name: Run CMake - name: Run CMake
env: env:
CC: wasicc CC: wasicc
@ -112,6 +113,6 @@ jobs:
- name: Run spec tests - name: Run spec tests
continue-on-error: true continue-on-error: true
run: | run: |
source $HOME/.wasienv/wasienv.sh export PATH="$HOME/.wasmer/bin:$PATH"
cd test cd test
./run-spec-test.py --exec "wasirun ../build-wasi/wasm3.wasm" ./run-spec-test.py --exec "wasmer ../build-wasi/wasm3.wasm"

Loading…
Cancel
Save