mirror of
https://github.com/emilk/egui.git
synced 2026-09-02 14:50:03 -04:00
CI: Install wasm-opt 123 from the GitHub release of Binaryen (#6849)
* Prerequisite of https://github.com/emilk/egui/pull/6848
This commit is contained in:
9
.github/workflows/deploy_web_demo.yml
vendored
9
.github/workflows/deploy_web_demo.yml
vendored
@@ -46,9 +46,12 @@ jobs:
|
|||||||
with:
|
with:
|
||||||
prefix-key: "web-demo-"
|
prefix-key: "web-demo-"
|
||||||
|
|
||||||
- name: "Install wasmopt / binaryen"
|
- name: Install wasm-opt
|
||||||
run: |
|
uses: sigoden/install-binary@v1
|
||||||
sudo apt-get update && sudo apt-get install binaryen
|
with:
|
||||||
|
repo: WebAssembly/binaryen
|
||||||
|
tag: version_123
|
||||||
|
name: wasm-opt
|
||||||
|
|
||||||
- run: |
|
- run: |
|
||||||
scripts/build_demo_web.sh --release
|
scripts/build_demo_web.sh --release
|
||||||
|
|||||||
9
.github/workflows/preview_build.yml
vendored
9
.github/workflows/preview_build.yml
vendored
@@ -25,9 +25,12 @@ jobs:
|
|||||||
with:
|
with:
|
||||||
prefix-key: "pr-preview-"
|
prefix-key: "pr-preview-"
|
||||||
|
|
||||||
- name: "Install wasmopt / binaryen"
|
- name: Install wasm-opt
|
||||||
run: |
|
uses: sigoden/install-binary@v1
|
||||||
sudo apt-get update && sudo apt-get install binaryen
|
with:
|
||||||
|
repo: WebAssembly/binaryen
|
||||||
|
tag: version_123
|
||||||
|
name: wasm-opt
|
||||||
|
|
||||||
- run: |
|
- run: |
|
||||||
scripts/build_demo_web.sh --release
|
scripts/build_demo_web.sh --release
|
||||||
|
|||||||
Reference in New Issue
Block a user