Remove the install of the wasm-toolchain binary package.
With 8f4a3586e5a787fd32a9afe35df4a9811d92c66b, we now have proper wabt integration, so we no longer need to download and install a separate binary package.
This commit is contained in:
@@ -13,9 +13,6 @@ addons:
|
||||
apt:
|
||||
packages:
|
||||
- python3-pip
|
||||
before_install:
|
||||
- wget https://storage.googleapis.com/wasm-llvm/builds/linux/26619/wasm-toolchain_0.1.26619_amd64.deb
|
||||
- sudo dpkg -i wasm-toolchain_0.1.26619_amd64.deb
|
||||
install:
|
||||
- pip3 install --user --upgrade mypy flake8
|
||||
- mypy --version
|
||||
|
||||
Reference in New Issue
Block a user