From 010bccf3536d382bc1a5ffb95878bf228dde9ed7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 9 Jan 2022 11:35:50 -0800 Subject: [PATCH] Update wasm.yml add some more limited retention --- .github/workflows/wasm.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index 0a2ebc3d2e4..988d17c7ab9 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