mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
Update wasm.yml
This commit is contained in:
parent
dfba177813
commit
933bb4f1f0
2
.github/workflows/wasm.yml
vendored
2
.github/workflows/wasm.yml
vendored
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue