diff options
| author | Daniel Jankowski <daniel.jankowski@rub.de> | 2025-12-17 20:53:30 +0100 |
|---|---|---|
| committer | Daniel Jankowski <daniel.jankowski@rub.de> | 2025-12-17 20:53:30 +0100 |
| commit | 3fe691c8f795fb6c253aceff1e0e28d1c25e063d (patch) | |
| tree | a739331e162fbb67c4cbf172d1fdd4b61981deb9 | |
| parent | chore(clippy): fix issues (diff) | |
| download | sl0pstatus-3fe691c8f795fb6c253aceff1e0e28d1c25e063d.tar.gz sl0pstatus-3fe691c8f795fb6c253aceff1e0e28d1c25e063d.tar.xz sl0pstatus-3fe691c8f795fb6c253aceff1e0e28d1c25e063d.zip | |
ci: install wasi sdk
| -rw-r--r-- | .github/workflows/lint.yml | 10 | ||||
| -rw-r--r-- | .github/workflows/release.yml | 10 |
2 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index b36df5d..774b391 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -14,6 +14,14 @@ jobs: steps: - uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v4 + - name: Install WASI SDK + run: | + wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-20/wasi-sdk-20.0-linux.tar.gz + tar -xzf wasi-sdk-20.0-linux.tar.gz + mv wasi-sdk-20.0 /opt/wasi-sdk + env: + WASI_SDK_PATH: /opt/wasi-sdk + - name: Install Rust uses: dtolnay/rust-toolchain@4f647fc679bcd3b11499ccb42104547c83dabe96 # stable with: @@ -38,6 +46,8 @@ jobs: with: toolchain: "1.91.0" target: wasm32-wasip1 + env: + WASI_SDK_PATH: /opt/wasi-sdk - name: Install cargo wasi run: cargo install cargo-nextest diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 343a5d9..6480191 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -20,6 +20,14 @@ jobs: with: fetch-tags: false # https://github.com/actions/checkout/issues/1467 + - name: Install WASI SDK + run: | + wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-20/wasi-sdk-20.0-linux.tar.gz + tar -xzf wasi-sdk-20.0-linux.tar.gz + mv wasi-sdk-20.0 /opt/wasi-sdk + env: + WASI_SDK_PATH: /opt/wasi-sdk + - run: git fetch --tags --all --force && git pull origin ${{ github.ref }} --unshallow --force name: Fetch tags manually as a workaround. See https://github.com/actions/checkout/issues/1467 @@ -30,6 +38,8 @@ jobs: override: true toolchain: "1.91.0" target: wasm32-wasip1 + env: + WASI_SDK_PATH: /opt/wasi-sdk - name: Build release binary run: cargo build --release |