remove older log files before calling gz

runtimeverification · Jul 9, 2024 · d42d3cd · d42d3cd
1 parent 55baa7a
commit d42d3cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -203,7 +203,7 @@ jobs:
         run: GC_DONT_GC=1 nix develop .#kmxwasm-test-shell --extra-experimental-features 'nix-command flakes' --print-build-logs --command './generate-claims.sh'
       - name: Compress server logs from smoke test
         if: success() || failure()
-        run: touch /tmp/smoke-log.json && ls -l /tmp/smoke-log.json && gzip /tmp/smoke-log.json
+        run: touch /tmp/smoke-log.json && ls -l /tmp/smoke-log.json && rm -f /tmp/smoke-log.json.gz && gzip /tmp/smoke-log.json
       - name: Archive server logs for inspection
         if: success() || failure()
         uses: actions/upload-artifact@v4