ci: bump ci-images to use updated wasm image
This MR bumps ci-images to use updated wasm image built at ci-images!139 (merged). This bump is not yak shaving and it's strictly necessary for ghc-wasm-meta to deliver usable wasm bindists to end users of the ghc wasm backend. The detailed reason is:
- The ci-images before this bump contains a slightly outdated
wasi-sdk
which containspthread.h
in itswasi-libc
sysroot, and consequently, recent wasm bindists produced by our nightly pipeline bake in this assumption with#define HAVE_PTHREAD_H 1
in itsghcautoconf.h
. - Upstream
wasi-libc
has recently separated the globalinclude
directory for different targets and ensuredpthread.h
only exists for thewasm32-wasi-threaded
target, notwasm32-wasi
as we use right now. This is the right thing to do, but unfortunately, once we update ourwasi-sdk
(to bring in other bugfixes and improvements as well), the newwasi-sdk
artifacts can't work with the recent wasm bindists, things will fail with<pthread.h>
not found error. - Instead of inserting a stub
pthread.h
in thewasm32-wasi
include directory, it makes more sense to just bump thewasi-sdk
toolchain that we use in our wasm image. - To avoid this kind of annoying breakage in the future, our
wasi-sdk
CI logic now tests the x86_64-linux artifact against 1. compiling/testing ghc from source 2. testing a recent ghc wasm bindist.