From 2515287aca798d0c9b4ce48dd7fdf2186ad9dc69 Mon Sep 17 00:00:00 2001 From: ojyrkinen Date: Mon, 4 Sep 2023 11:49:47 +0200 Subject: [PATCH] Changed compression to tar lzma and without -c --- .github/workflows/z3_trace_log_gen.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml index fb32a9ce..577c2000 100644 --- a/.github/workflows/z3_trace_log_gen.yml +++ b/.github/workflows/z3_trace_log_gen.yml @@ -47,10 +47,12 @@ jobs: # Run Z3 solver for $file z3 trace=true proof=true trace-file-name=${base_name}.log ./$file # Compress the file and save it to logs directory - gzip -c ${base_name}.log > logs/${base_name}.log.gz - echo "Compressed $file and saved to $logs/${base_name}.log.gz" + # gzip -c ${base_name}.log > logs/${base_name}.log.gz + # Compress the file using tar lzma + tar --lzma -J ${base_name}.tar.lzma ${base_name}.log done - echo "::set-output name=logs_path::$(realpath logs)" + echo "::set-output name=logs_path::$(realpath .)" + # echo "::set-output name=logs_path::$(realpath logs)" - name: Upload build artifacts uses: actions/upload-artifact@v3.1.2