From 7837392a3d4f4cf257d0269e2371d51f147163e5 Mon Sep 17 00:00:00 2001
From: Volodymyr Shymanskyy <vshymanskyi@gmail.com>
Date: Sat, 21 Dec 2019 22:24:43 +0200
Subject: [PATCH] Enable WASI tests for RPi

---
 .github/workflows/tests.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index f456ccb..948c64c 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -157,3 +157,8 @@ jobs:
       run: |
         cd test
         python3 run-spec-test.py
+    - name: Run WASI tests
+      continue-on-error: true    # TODO
+      run: |
+        cd test
+        ./run-wasi-test.py