Skip to content

Add managed workflow checks to gauss doctor#437

Merged
gauss-math-inc merged 2 commits into
mainfrom
codex/public-managed-doctor-20260328
Mar 28, 2026
Merged

Add managed workflow checks to gauss doctor#437
gauss-math-inc merged 2 commits into
mainfrom
codex/public-managed-doctor-20260328

Conversation

@gauss-math-inc
Copy link
Copy Markdown
Collaborator

Summary

  • add managed Lean workflow checks to gauss doctor
  • report backend/auth/toolchain/project state for managed Claude/Codex workflows
  • make Claude login-mode diagnostics accurate on modern auth setups

Validation

  • /tmp/opengauss-pr12-runtime/venv/bin/python -m pytest tests/gauss_cli/test_autoformalize.py tests/gauss_cli/test_doctor.py -q
  • direct gauss doctor run on the restacked branch

@gauss-math-inc gauss-math-inc merged commit 45e5b63 into main Mar 28, 2026
@gauss-math-inc gauss-math-inc deleted the codex/public-managed-doctor-20260328 branch March 28, 2026 02:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant