From cdc483374c7540c196686d27c3ad3137daefe936 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 Nov 2024 13:01:03 -0800
Subject: [PATCH] Update pyodide.yml

remove z3num doctest, add artifact upload
---
 .github/workflows/pyodide.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 81b0d3519..0a2d333dc 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -53,4 +53,11 @@ jobs:
       run: |
          ~/env-pyodide/bin/pip install src/api/python/dist/*.whl
          ~/env-pyodide/bin/python - <src/api/python/z3test.py z3
-         ~/env-pyodide/bin/python - <src/api/python/z3test.py z3num
+
+    - name: Package wheel
+      uses: actions/upload-artifact@master
+      with:
+          name: pyodide-wheel
+          path: src/api/python/dist/*.whl
+          retention-days: 1         
+