From a8ecd447d56843b25514dd138698e71de1e31928 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Mon, 15 Jan 2024 13:09:42 +0100
Subject: [PATCH] Change retention time on failing logs

---
 .github/workflows/continuous_integration.yml | 1 +
 1 file changed, 1 insertion(+)

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: