mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-23 02:19:37 +00:00
Code Activity

Update publish workflow to use master-branch report and new discussion title

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

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-05-13 00:07:11 +00:00 • committed by GitHub
parent 215f298536
commit a4e2d91713
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 16 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

22
.github/workflows/publish-tptp-report.yml vendored
View file

@ -31,14 +31,24 @@ jobs:
script: | script: |
const fs = require('fs'); const fs = require('fs');
// Read report from file // Read the master-branch report (preferred) or fall back to older report
let body; let body;
try { const candidates = ['tptp-test-report-master.md', 'tptp-test-report.md'];
body = fs.readFileSync('tptp-test-report.md', 'utf8'); let reportFile = null;
} catch (e) { for (const f of candidates) {
core.setFailed('Could not read tptp-test-report.md: ' + e.message); if (fs.existsSync(f)) { reportFile = f; break; }
}
if (!reportFile) {
core.setFailed('No TPTP report file found');
return; 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 // Get discussion category ID
const categoryName = context.eventName === 'workflow_dispatch' const categoryName = context.eventName === 'workflow_dispatch'
@ -73,7 +83,7 @@ jobs:
} }
const repoNodeId = catQuery.repository.id; 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 // Check if a discussion with this title already exists
const existingQuery = await github.graphql(` const existingQuery = await github.graphql(`