Skip to content

chore: release v0.10.2#173

Merged
pbertsch merged 1 commit into
mainfrom
release/v0.10.2
Jul 5, 2026
Merged

chore: release v0.10.2#173
pbertsch merged 1 commit into
mainfrom
release/v0.10.2

Conversation

@pbertsch

@pbertsch pbertsch commented Jul 5, 2026

Copy link
Copy Markdown
Member

Summary

No functional changes -- a reported regression (PT-21, reopened with a specific auto-focus-on-load discriminator) was re-investigated and re-closed; a regression test was added to lock in the verified-correct behavior going forward.

No probe_agent code changes -- bumped to stay in lockstep with the CLI's version.

Versions bumped: probe_agent/pubspec.yaml, probe_agent/lib/src/agent_version.dart, vscode/package.json, docs/wiki/Home.md -> 0.10.2.

Test plan

  • go build ./..., go vet ./..., go test ./... all pass
  • staticcheck ./... clean
  • dart analyze lib/ clean
  • dart pub publish --dry-run clean (only the expected "uncommitted changes" warning, from the version bump itself)

No functional changes - a reported regression (PT-21, reopened with a
specific auto-focus-on-load discriminator) was re-investigated and
re-closed; a regression test was added to lock in the verified-correct
behavior going forward.

No probe_agent code changes - bumped to stay in lockstep with the
CLI's version.
@pbertsch pbertsch requested a review from a team as a code owner July 5, 2026 23:33
@pbertsch pbertsch added this pull request to the merge queue Jul 5, 2026
Merged via the queue into main with commit 7e6c58b Jul 5, 2026
15 checks passed
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