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

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

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index 891c08f7e..7892b35b7 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -15,9 +15,11 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v2
 
+    - name: Import enscripten
+      uses: mymindstorm/setup-emsdk@v9
+      
     - name: Configure CMake and build
-    - uses: mymindstorm/setup-emsdk@v9
-    - run:  |
+      run:  |
         mkdir build
         cd build