opam-2.0.0
Volodymyr Shymanskyy 2 years ago
parent a4288495e6
commit 15ee9e0c27

@ -189,6 +189,7 @@ jobs:
WASI_VERSION_FULL: 11.0
run: |
echo "WASI_VERSION=${WASI_VERSION}" >> $GITHUB_ENV
echo "WASI_VERSION_FULL=${WASI_VERSION_FULL}" >> $GITHUB_ENV
echo "WASI_SDK_PATH=${GITHUB_WORKSPACE}/.toolchains/wasi-sdk-${WASI_VERSION_FULL}" >> $GITHUB_ENV
- name: Install WASI SDK
run: |

Loading…
Cancel
Save