1
mirror of https://github.com/jedisct1/libsodium.git synced 2024-12-23 20:15:19 -07:00

Try installing wasmtime instead of wasmer

This commit is contained in:
Frank Denis 2019-08-07 19:33:54 +02:00
parent a9d6857665
commit c572f24ddf

View File

@ -15,9 +15,9 @@ jobs:
- script: |
curl https://sh.rustup.rs -sSf | sh -s -- -y
source ${HOME}/.cargo/env
git clone --recursive https://github.com/wasmerio/wasmer.git
(cd wasmer && cargo install --path .)
displayName: Install wasmer
git clone --recursive https://github.com/CraneStation/wasmtime.git
(cd wasmtime && cargo install --path .)
displayName: Install wasmtime
- script: |
curl -sL -o wasi-sdk.deb https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-5/wasi-sdk_5.0_amd64.deb
sudo dpkg -i wasi-sdk.deb && rm -f wasi-sdk.deb