Skip to content

Update Dex Skills to 0.62.0 for server-zd v0.1.15 - #1176

Merged
longquanzheng merged 1 commit into
mainfrom
skills/server-zd-v0.1.15
Nov 2, 2026
Merged

longquanzheng merged 1 commit into
mainfrom
skills/server-zd-v0.1.15

Conversation

@longquanzheng

Copy link
Copy Markdown
Contributor

Summary

Update Dex Skills to 0.62.0 for server-zd v0.1.15 and cli-v1.33.0.

  • Core operations. New server-zd v0.1.15 notes:

    The notes link to the server-zd operation guide instead of copying it.

  • Corrected wording. The v0.1.14 AdminService groundwork note now says v0.1.15 serves it.

  • Baselines. DEX_SERVER_BASELINE moves to server-zd/v0.1.15 and DEX_CLI_BASELINE to cli-v1.33.0, and pinned links are refreshed. cli-v1.33.0 changes only the CLI, so the SDK baselines stay at v1.32.0 (Rust at sdk-rust/v1.31.0) and Dex Web stays at web/v1.32.0.

  • Checks. check-upstream-baselines.py checks the v0.1.15 statements against the tag, drops the v0.1.14 "AdminService not served" statements, and has new mutation tests.

  • Manifests. The bundle and plugin manifests are synchronized at 0.62.0.

Why

server-zd v0.1.15 (#1162, #1164, #1165, #1168) changes how operators run and update Dex: hot standby, planned switchover through AdminService, new probe requirements for standbys, and a stale-read fix. The repository rule requires a skills update for changed operational semantics once a release contains them. The previous guidance also said AdminService returns UNIMPLEMENTED, which is no longer true at v0.1.15. Follows the pattern of #1172 (v0.1.14 skills).

Testing

  • check-package.py, also with --base-ref origin/main: pass.
  • check-reference-sources.py: 109 excerpts validated against the new tags.
  • check-upstream-baselines.py: pass.
  • Skills unittest suite: 209 tests pass.
  • node --test test/version-check.test.mjs: 11 of 11 pass.
  • quick_validate.py was not run locally (no SKILL.md changed); Skills CI covers it.

Document hot standby, planned switchover with dexcli admin, the stale read fix, and the new metrics and health name. Advance the server-zd and CLI baselines to server-zd/v0.1.15 and cli-v1.33.0.
@longquanzheng
longquanzheng merged commit e226c52 into main Nov 2, 2026
3 checks passed
@longquanzheng
longquanzheng deleted the skills/server-zd-v0.1.15 branch November 2, 2026 00:39
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