copilot-swe-agent[bot]
|
a4e2d91713
|
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>
|
2026-05-13 00:07:11 +00:00 |
|
copilot-swe-agent[bot]
|
ddf912d8a6
|
Improve publish-tptp-report workflow: read report from file, dedup checks
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/35080496-0ba4-4fbc-a441-5f5c430e978c
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-05-12 17:45:56 +00:00 |
|
copilot-swe-agent[bot]
|
3b5d075a7c
|
Add workflow to publish TPTP test report as GitHub discussion
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/35080496-0ba4-4fbc-a441-5f5c430e978c
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-05-12 17:44:27 +00:00 |
|