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

---
 .github/workflows/wasm.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index e4fa283ed57..0a2ebc3d2e4 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -33,7 +33,7 @@ jobs:
           -DCMAKE_CXX_FLAGS="-s DISABLE_EXCEPTION_CATCHING=0" \
           ..; 
         make
-        tar -cvf z3-build-wasm.tar *.jar *.so
+        tar -cvf z3-build-wasm.tar *.a
         
     - name: Archive production artifacts
       uses: actions/upload-artifact@v2