Skip to content

docs: when to add the label test convergence - #414

Merged
ocots merged 1 commit into
mainfrom
docs/convergence-label
Nov 7, 2026
Merged

ocots merged 1 commit into
mainfrom
docs/convergence-label

Conversation

@ocots

@ocots ocots commented Nov 7, 2026

Copy link
Copy Markdown
Member

A paragraph in test/README.md, under the table of the labels: when to add test convergence, and what it costs.

Prompted by #412: the pull request touches test/common/status.jl (a shared file: every environment and every problem), and the label added the full convergence report, about 35 minutes more. The label was needed there: the smoke solves of the default run call solve but not outcome, settings or TestStatus.result!, which only the convergence tests run. The paragraph says so, gives the cost, and says that no label runs robustness/ (run it locally).

Markdown outside ext/: the automatic scope runs core only.

Conventions: ct-conventions v0.10.0, ct-agents v0.4.0.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ocots ocots added documentation Improvements or additions to documentation run ci github-runner Trigger the CI workflow on GitHub-hosted runners labels Nov 7, 2026
@ocots
ocots merged commit 2db21e6 into main Nov 7, 2026
23 checks passed
@ocots
ocots deleted the docs/convergence-label branch November 7, 2026 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation run ci github-runner Trigger the CI workflow on GitHub-hosted runners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant