mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update wasm.yml
add some more limited retention
This commit is contained in:
parent
bf3c213fd3
commit
010bccf353
1
.github/workflows/wasm.yml
vendored
1
.github/workflows/wasm.yml
vendored
|
@ -40,3 +40,4 @@ jobs:
|
|||
with:
|
||||
name: z3-build-wasm
|
||||
path: build/z3-build-wasm.tar
|
||||
retention-days: 5
|
||||
|
|
Loading…
Reference in a new issue