From b09651c7d2137d7994fa65bb9b6167085cada11e Mon Sep 17 00:00:00 2001
From: mszelwiga <mszelwiga@internships.antmicro.com>
Date: Tue, 29 Oct 2024 13:28:44 +0100
Subject: [PATCH 1/2] Fix debug logs for parsing tests

---
 .github/scripts/run_group_test.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/scripts/run_group_test.sh b/.github/scripts/run_group_test.sh
index 46005a9f0..c6072dc8b 100755
--- a/.github/scripts/run_group_test.sh
+++ b/.github/scripts/run_group_test.sh
@@ -84,7 +84,7 @@ for test_case in "${test_cases[@]}"; do
 
     sed -i -n \
         -e "s#${REPO_DIR}/##g" \
-        -E -e '/1. Executing (Verilog with )?UHDM frontend./,$ {/^End of script/d; /^Time spent/d; p}' \
+        -E -e '/1. Executing (SystemVerilog)?(UHDM)? frontend./,$ {/^End of script/d; /^Time spent/d; p}' \
         "${test_out_dir}/synlig.log"
 
     # ASAN log contains PID in the name. There should be only one log, but even
@@ -107,7 +107,8 @@ for test_case in "${test_cases[@]}"; do
     # tests/Makefile runs yosys with CWD set to `tests/build` directory.
     # Some tests write `yosys.sv` file in the CWD.
     if [[ -e $REPO_DIR/tests/build/yosys.sv ]]; then
-        mv "$REPO_DIR/tests/build/yosys.sv" "${test_out_dir}/"
+        tail -n +2 "$REPO_DIR/tests/build/yosys.sv" > "${test_out_dir}/yosys.sv"
+        rm "$REPO_DIR/tests/build/yosys.sv"
     fi
 
     if (( $asan_ok == 0 )); then

From 63413251b7a2c2c25e3b1429a6838cffc6bed1b5 Mon Sep 17 00:00:00 2001
From: mszelwiga <mszelwiga@internships.antmicro.com>
Date: Thu, 31 Oct 2024 11:01:37 +0100
Subject: [PATCH 2/2] Fix uploading artifacts with formal verification logs

---
 .github/workflows/formal-verification.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index 416ce5e81..e25131963 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -80,7 +80,7 @@ jobs:
         with:
           name: formal-verification-logs-${{ matrix.name }}
           path: |
-            ${{ matrix.name }}_formal_verification_logs.tar
+            ${{ matrix.name }}_formal_verification_logs.tar.gz
 
       - name: Upload load graphs
         uses: actions/upload-artifact@v4