From a4e2d91713cbd1e943380bbb9219fb2076c77b6a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 13 May 2026 00:07:11 +0000
Subject: [PATCH] Update publish workflow to use master-branch report and new
 discussion title

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/d15efc5f-0eac-4cf1-b3f1-27788eea9447

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/publish-tptp-report.yml | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/publish-tptp-report.yml b/.github/workflows/publish-tptp-report.yml
index bf120880d..0282601ed 100644
--- a/.github/workflows/publish-tptp-report.yml
+++ b/.github/workflows/publish-tptp-report.yml
@@ -31,14 +31,24 @@ jobs:
           script: |
             const fs = require('fs');
 
-            // Read report from file
+            // Read the master-branch report (preferred) or fall back to older report
             let body;
-            try {
-              body = fs.readFileSync('tptp-test-report.md', 'utf8');
-            } catch (e) {
-              core.setFailed('Could not read tptp-test-report.md: ' + e.message);
+            const candidates = ['tptp-test-report-master.md', 'tptp-test-report.md'];
+            let reportFile = null;
+            for (const f of candidates) {
+              if (fs.existsSync(f)) { reportFile = f; break; }
+            }
+            if (!reportFile) {
+              core.setFailed('No TPTP report file found');
               return;
             }
+            try {
+              body = fs.readFileSync(reportFile, 'utf8');
+            } catch (e) {
+              core.setFailed('Could not read report: ' + e.message);
+              return;
+            }
+            console.log('Using report file:', reportFile);
 
             // Get discussion category ID
             const categoryName = context.eventName === 'workflow_dispatch'
@@ -73,7 +83,7 @@ jobs:
             }
 
             const repoNodeId = catQuery.repository.id;
-            const title = 'TPTP Integration Test Report \u2014 copilot/integrate-tptp-into-src-shell';
+            const title = 'TPTP Test Report \u2014 master branch re-run after #9483 merge';
 
             // Check if a discussion with this title already exists
             const existingQuery = await github.graphql(`