From c572f24ddf67a18552cd229da7dc81f66a4a5ae4 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Wed, 7 Aug 2019 19:33:54 +0200 Subject: [PATCH] Try installing wasmtime instead of wasmer --- azure-pipelines.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index b688459b..04b2f9b1 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -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