diff options
| author | Alon Zakai <azakai@google.com> | 2022-09-22 13:00:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-22 13:00:49 -0700 |
| commit | 6cc44fd11ba550ea7149fbc868a9b70aa58822a6 (patch) | |
| tree | f8ec00c78bb6ee1ff1f9d124351db84a12efda0a /.github | |
| parent | c752a7458f91f6504d9c973fc2f829d1786ee958 (diff) | |
| download | binaryen-6cc44fd11ba550ea7149fbc868a9b70aa58822a6.tar.gz binaryen-6cc44fd11ba550ea7149fbc868a9b70aa58822a6.tar.bz2 binaryen-6cc44fd11ba550ea7149fbc868a9b70aa58822a6.zip | |
Pin the emsdk for now (#5077)
See emscripten-core/emscripten#17851
Diffstat (limited to '.github')
| -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..f2b88336b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -270,8 +270,10 @@ jobs: 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 + # pinned due to https://github.com/emscripten-core/emscripten/pull/17851 + # TODO: go back to 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 |