Skip to content

Commit

Permalink
Change retention time on failing logs
Browse files Browse the repository at this point in the history
  • Loading branch information
JonasAlaif committed Jan 15, 2024
1 parent 1ae7df5 commit a8ecd44
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/continuous_integration.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,7 @@ jobs:
with:
name: "logs_z3_v${{ matrix.z3version }}"
path: failing_logs.tar.bz2
retention-days: 1


generate_log:
Expand Down

0 comments on commit a8ecd44

Please sign in to comment.