From cb7b79a61433673a5e6b07559cc661a97b5a84cf Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Wed, 29 May 2024 14:10:52 +0700 Subject: [PATCH] ci: Use slightly older emscripten for now (#297) An update to emscripten brought a newer compiler and that found a longstanding bug in Z3 that broke compilation. For now, use a slightly older version until a new version of Z3 (after 4.13.0) is released with the fix. See https://github.com/Z3Prover/z3/pull/7235 for the Z3 fix. --- .github/workflows/rust.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 70ccf96a..21341d23 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -10,6 +10,7 @@ env: CARGO_INCREMENTAL: 0 CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse RUSTFLAGS: "-D warnings" + EMSCRIPTEN_VERSION: "3.1.59" # Change back to `latest` once Z3 4.13.1 or later is out. jobs: check-formatting: @@ -52,8 +53,8 @@ jobs: git clone https://github.com/emscripten-core/emsdk.git cd emsdk git pull - ./emsdk install latest - ./emsdk activate latest + ./emsdk install ${{ env.EMSCRIPTEN_VERSION }} + ./emsdk activate ${{ env.EMSCRIPTEN_VERSION }} source ./emsdk_env.sh - name: Install wasm32-unknown-emscripten target run: rustup target add wasm32-unknown-emscripten