From 933bb4f1f029c1a59574d1dce38b55d03525e228 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 Oct 2021 17:03:04 +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 b74b9bb77..e4fa283ed 100644
--- a/.github/workflows/wasm.yml
+++ b/.github/workflows/wasm.yml
@@ -39,4 +39,4 @@ jobs:
       uses: actions/upload-artifact@v2
       with:
         name: z3-build-wasm
-        path: build/z3-build-${{ matrix.android-abi }}.tar
+        path: build/z3-build-wasm.tar