diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index 0a2ebc3d2..988d17c7a 100644 --- a/.github/workflows/wasm.yml +++ b/.github/workflows/wasm.yml @@ -40,3 +40,4 @@ jobs: with: name: z3-build-wasm path: build/z3-build-wasm.tar + retention-days: 5