Skip to content

Commit

Permalink
Update wasm.yml
Browse files Browse the repository at this point in the history
add some more limited retention
  • Loading branch information
NikolajBjorner authored Jan 9, 2022
1 parent bf3c213 commit 010bccf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/wasm.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,3 +40,4 @@ jobs:
with:
name: z3-build-wasm
path: build/z3-build-wasm.tar
retention-days: 5

0 comments on commit 010bccf

Please sign in to comment.