diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml index ba5143fc..d6d4d1a1 100644 --- a/.github/workflows/continuous_integration.yml +++ b/.github/workflows/continuous_integration.yml @@ -47,6 +47,7 @@ jobs: with: name: "logs_z3_v${{ matrix.z3version }}" path: failing_logs.tar.bz2 + retention-days: 1 generate_log: