Skip to content

Add Antigravity trace doctor support - #36

Merged
Stephen Belanger (Qard) merged 1 commit into
mainfrom
fix/antigravity-doctor-support
Sep 1, 2026
Merged

Add Antigravity trace doctor support#36
Stephen Belanger (Qard) merged 1 commit into
mainfrom
fix/antigravity-doctor-support

Conversation

@Qard

Copy link
Copy Markdown
Collaborator

Summary

  • expose Antigravity through bt trace doctor
  • map it to the existing antigravity tracing source and Google Antigravity display name
  • extend the supported-agent doctor test to cover parsing, source identity, and display names

This does not change the Antigravity plugin payload or its install/uninstall behavior.

Validation

  • cargo fmt --manifest-path bt-daemon/Cargo.toml -- --check
  • cargo test --manifest-path bt-daemon/Cargo.toml --all-features --locked
  • cargo clippy --manifest-path bt-daemon/Cargo.toml --all-targets --all-features --locked -- -D warnings
  • make validate-antigravity
  • git diff --check

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 1, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ⚠️ Failed 2026-09-01T11:07:48.059853Z 5ffd4a5 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@Qard
Stephen Belanger (Qard) merged commit 7c56fe8 into main Sep 1, 2026
20 checks passed
@Qard
Stephen Belanger (Qard) deleted the fix/antigravity-doctor-support branch September 1, 2026 13:48
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.

2 participants