CI: bump WASM to 9.10.0.20240412

Bodigrim · Apr 28, 2024 · 8693163 · 8693163
1 parent 2253d5b
commit 8693163
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -138,10 +138,10 @@ jobs:
         cabal --with-compiler=javascript-unknown-ghcjs-ghc --with-hc-pkg=javascript-unknown-ghcjs-ghc-pkg build
 
   wasm:
-    needs: build
+    # needs: build
     runs-on: ubuntu-latest
     env:
-      version: wasm32-wasi-9.8.0.20230927
+      version: wasm32-wasi-9.10.0.20240412
     steps:
     - uses: actions/checkout@v4
     - uses: actions/cache@v4

diff --git a/cabal.project.wasi b/cabal.project.wasi
@@ -3,3 +3,6 @@ source-repository-package
   type: git
   location: https://github.com/amesgen/splitmix.git
   tag: 83b906c4bcdc2720546f1779a16eb65e8e12ecba
+
+allow-newer:
+  splitmix:base