Skip to content

(internal) release_major: build v7.0.0#194

Draft
michaellzc wants to merge 1 commit into
mainfrom
internal/release-v7.0.0
Draft

(internal) release_major: build v7.0.0#194
michaellzc wants to merge 1 commit into
mainfrom
internal/release-v7.0.0

Conversation

@michaellzc
Copy link
Copy Markdown
Member

Test plan: automated release PR, CI will perform additional checks

@michaellzc michaellzc force-pushed the internal/release-v7.0.0 branch from bdf2cb2 to 4f1bda9 Compare February 25, 2026 20:20
{"version":"v7.0.0","inputs":"server=v7.0.0","type":"major"}
@michaellzc michaellzc force-pushed the internal/release-v7.0.0 branch from 4f1bda9 to 5dfbe86 Compare February 25, 2026 20:23
@sourcegraph-buildkite
Copy link
Copy Markdown

  • 🟢 Internal release is ready for promotion!
  • ⚠️ Do not close/merge the pull request or delete the associated branch if you intend to promote it.

@sourcegraph-buildkite
Copy link
Copy Markdown

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