Run spec tests on WASI version

5 years ago · c9cefada25
parent 8e531a8655
commit c9cefada25
1 changed files with 9 additions and 3 deletions
--- a/.github/workflows/spec-tests.yml
+++ b/.github/workflows/spec-tests.yml
@ -99,9 +99,15 @@ jobs:
        CC: wasicc
      run: |
        source $HOME/.wasienv/wasienv.sh
-        mkdir build
-        cd build
+        mkdir build-wasi
+        cd build-wasi
        cmake ..
    - name: Build
      run: |
-        cmake --build build
+        cmake --build build-wasi
+    - name: Run spec tests
+      continue-on-error: true
+      run: |
+        source $HOME/.wasienv/wasienv.sh
+        cd test
+        ./run-wasi-test.py --exec "wasirun ../build-wasi/wasm3.wasm"