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
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