From fe0e1cce302ddc92d49db194d0c266e015eb08e4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Oct 2021 16:03:22 +0200
Subject: [PATCH] Update wasm.yml

---
 .github/workflows/wasm.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index e5e18402854..891c08f7eb2 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -16,8 +16,8 @@ jobs:
       uses: actions/checkout@v2
 
     - name: Configure CMake and build
-      uses: mymindstorm/setup-emsdk@v9
-      run:  |
+    - uses: mymindstorm/setup-emsdk@v9
+    - run:  |
         mkdir build
         cd build