diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 2b4fa1769..bce9109ea 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -94,7 +94,7 @@ jobs: ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build-x64/api/ml ../build-x64/api/ml/z3enums.mli ../build-x64/api/ml/z3.mli - name: Setup emscripten - uses: mymindstorm/setup-emsdk@v14 + uses: mymindstorm/setup-emsdk@v15 with: no-install: true version: ${{env.EM_VERSION}} diff --git a/.github/workflows/wasm-release.yml b/.github/workflows/wasm-release.yml index 2fb04d49f..49b54447e 100644 --- a/.github/workflows/wasm-release.yml +++ b/.github/workflows/wasm-release.yml @@ -36,7 +36,7 @@ jobs: cp ../../../LICENSE.txt . - name: Setup emscripten - uses: mymindstorm/setup-emsdk@v14 + uses: mymindstorm/setup-emsdk@v15 with: no-install: true version: ${{env.EM_VERSION}} diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index 0eaa8f863..00c6f11e1 100644 --- a/.github/workflows/wasm.yml +++ b/.github/workflows/wasm.yml @@ -29,7 +29,7 @@ jobs: node-version: "lts/*" - name: Setup emscripten - uses: mymindstorm/setup-emsdk@v14 + uses: mymindstorm/setup-emsdk@v15 with: no-install: true version: ${{env.EM_VERSION}}