Install Wasmer before Wasienv

extensions
Volodymyr Shymanskyy 4 years ago committed by GitHub
parent 6712c5c4d5
commit 38126db293
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -125,12 +125,12 @@ jobs:
python3 -m pip install pip==20.1.1 python3 -m pip install pip==20.1.1
python3 -m pip install --upgrade setuptools wheel python3 -m pip install --upgrade setuptools wheel
pip3 --version pip3 --version
- name: Install Wasienv
run: curl https://raw.githubusercontent.com/wasienv/wasienv/master/install.sh | sh
- name: Install Wasmer - name: Install Wasmer
env: env:
WASMER_RELEASE_TAG: "0.17.1" WASMER_RELEASE_TAG: "0.17.1"
run: curl https://get.wasmer.io -sSfL | sh run: curl https://get.wasmer.io -sSfL | sh
- name: Install Wasienv
run: curl https://raw.githubusercontent.com/wasienv/wasienv/master/install.sh | sh
- name: Configure - name: Configure
run: | run: |
source $HOME/.wasienv/wasienv.sh source $HOME/.wasienv/wasienv.sh

Loading…
Cancel
Save