mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
Update pyodide.yml
remove z3num doctest, add artifact upload
This commit is contained in:
parent
00c5600b09
commit
cdc483374c
9
.github/workflows/pyodide.yml
vendored
9
.github/workflows/pyodide.yml
vendored
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue