Update web-wasi to 15.0

Update web-wasi to 15.0 Signed-off-by: Bensuperpc <bensuperpc@gmail.com>
Merge pull request #694 from bensuperpc/fix_error
2025-06-19 09:29:25 +02:00 · 2022-05-20 10:08:26 +02:00 · 2022-05-19 20:21:09 +02:00
1 changed files with 1 additions and 1 deletions
--- a/web-wasi/Dockerfile.in
+++ b/web-wasi/Dockerfile.in
@ -2,7 +2,7 @@ FROM dockcross/base:latest

 LABEL maintainer="Matt McCormick matt.mccormick@kitware.com"

-ENV WASI_VERSION 14
+ENV WASI_VERSION 15
 ENV WASI_VERSION_FULL ${WASI_VERSION}.0
 RUN cd /usr/ && \
  curl -L -O https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_VERSION}/wasi-sdk-${WASI_VERSION_FULL}-linux.tar.gz && \
Author	SHA1	Message	Date
Bensuperpc	7fe662325f	Update web-wasi to 15.0 Update web-wasi to 15.0 Signed-off-by: Bensuperpc <bensuperpc@gmail.com>	2022-05-20 10:08:26 +02:00
Bensuperpc	7a4634c4f8	Merge pull request #694 from bensuperpc/fix_error Fixed errors that can sometimes occur with the CI and Improve CI	2022-05-19 20:21:09 +02:00