Skip to content

Commit 08f3931

Browse files
committed
CI: Try to install newer wasm2wat & wat2wasm: Vol. 5
1 parent bbfb82e commit 08f3931

File tree

2 files changed

+2
-11
lines changed

2 files changed

+2
-11
lines changed

.github/workflows/ci.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ jobs:
5656
make clean-enclave
5757
5858
Build-Contracts:
59-
runs-on: ubuntu-20.04
59+
runs-on: ubuntu-22.04
6060
steps:
6161
- uses: actions/checkout@v3
6262
- name: Download sccache

scripts/install-wasm-tools.sh

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -81,16 +81,7 @@ cargo install pwasm-utils-cli --bin wasm-prune --force
8181
if [[ "$OSTYPE" == "linux-gnu" ]]; then
8282
set -e
8383

84-
tmp=`mktemp -d`
85-
pushd $tmp > /dev/null
86-
87-
echo "Downloading wabt_1.0.33-1_amd64.deb";
88-
wget 'https://launchpad.net/ubuntu/+archive/primary/+files/wabt_1.0.33-1_amd64.deb'
89-
90-
echo "Installing wasm2wat & wat2wasm into ~/.cargo/bin"
91-
sudo dpkg -i wabt_1.0.33-1_amd64.deb
92-
93-
popd > /dev/null
84+
sudo apt-get install -y wabt
9485
fi
9586

9687
echo ""

0 commit comments

Comments
 (0)