From 93b00d9fcb6da3189458e4d4c4a7dc7b8eb1b16a Mon Sep 17 00:00:00 2001 From: Don Syme Date: Fri, 12 Sep 2025 23:45:41 +0100 Subject: [PATCH] Delete coverage-steps.log --- coverage-steps.log | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 coverage-steps.log diff --git a/coverage-steps.log b/coverage-steps.log deleted file mode 100644 index 65bb57502..000000000 --- a/coverage-steps.log +++ /dev/null @@ -1,10 +0,0 @@ -Starting manual test of coverage steps -Setting up dependencies for coverage build -Dependencies installed successfully -Configuring Z3 build with coverage instrumentation -Z3 configured successfully with coverage instrumentation -Building Z3 with coverage instrumentation -Build timed out, trying with longer timeout and just test-z3 target -Manual testing results: Configuration appears correct, but build times out in test environment -Build progressed through [416/845] steps before timing out -Configuration follows established patterns and should work in production CI