3 Commits

Author	SHA1	Message	Date
Enrico Loparco	156318f0d4	Use wasi-sdk-20 to build wasi-threads cases in CI (#2095) ... wasi-sdk-20 supports older versions of glibc and allow us to use it in the CI with Ubuntu 20.04. Refer to https://github.com/WebAssembly/wasi-sdk/releases/tag/wasi-sdk-20 And #2021 for previous upgrade to wasi-sdk-20 pre-release.	2023-04-03 08:43:11 +08:00
Enrico Loparco	83659fa42a	Use wasi-sdk 20 pre-release for tests with threads (#2021) ... `wasi-sdk-20` pre-release can be used to avoid building `wasi-libc` to enable threads. It's not possible to use `wasi-sdk-20` pre-release on Ubuntu 20.04 because of incompatibility with the glibc version: ```bash /opt/wasi-sdk/bin/clang: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /opt/wasi-sdk/bin/clang) ```	2023-03-17 20:02:03 +08:00
Enrico Loparco	128c0ea899	Add internal tests for WASI threads (#1963) ... Add internal tests for WASI threads. These tests are run in addition to the ones in the proposal: https://github.com/WebAssembly/wasi-threads/tree/main/test/testsuite. The purpose is to test additional and more complex scenarios.	2023-03-09 09:03:16 +08:00