diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-09-30 16:04:31 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-30 21:04:31 +0000 |
commit | 32d17f9bd3aa6b65b146348e1a09f3bb6bb7a120 (patch) | |
tree | 3f21851a6e77f5da4f8c72bbb2f431c08b044bf0 | |
parent | fa3ff32e845ca59113fbdc2044a7dece3da6c2c8 (diff) | |
download | binaryen-32d17f9bd3aa6b65b146348e1a09f3bb6bb7a120.tar.gz binaryen-32d17f9bd3aa6b65b146348e1a09f3bb6bb7a120.tar.bz2 binaryen-32d17f9bd3aa6b65b146348e1a09f3bb6bb7a120.zip |
Pin Emscripten (#5100)
The current CI breakage is due to
https://github.com/emscripten-core/emscripten/pull/17948. Pin the Emscripten
version used in CI until that can be investigated and resolved.
-rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d6db01137..cf11cb1b9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -266,12 +266,14 @@ jobs: - name: install ninja run: sudo apt-get install ninja-build - name: emsdk install + # TODO: Go back to tot once problem with + # https://github.com/emscripten-core/emscripten/pull/17948 is resolved. run: | mkdir $HOME/emsdk git clone --depth 1 https://github.com/emscripten-core/emsdk.git $HOME/emsdk $HOME/emsdk/emsdk update-tags - $HOME/emsdk/emsdk install tot - $HOME/emsdk/emsdk activate tot + $HOME/emsdk/emsdk install latest + $HOME/emsdk/emsdk activate latest - name: update path run: echo "PATH=$PATH:$HOME/emsdk" >> $GITHUB_ENV - name: emcc-tests |