diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index e4fa283ed..0a2ebc3d2 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