Skip to content

(internal) release_minor: build v7.2.0#212

Draft
DaedalusG wants to merge 1 commit into
mainfrom
internal/release-v7.2.0
Draft

(internal) release_minor: build v7.2.0#212
DaedalusG wants to merge 1 commit into
mainfrom
internal/release-v7.2.0

Conversation

@DaedalusG
Copy link
Copy Markdown
Contributor

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

@DaedalusG DaedalusG force-pushed the internal/release-v7.2.0 branch from 261c1fa to da10c43 Compare April 24, 2026 04:37
{"version":"v7.2.0","inputs":"server=7.2.0","type":"minor"}
@DaedalusG DaedalusG force-pushed the internal/release-v7.2.0 branch from da10c43 to 68dded2 Compare April 24, 2026 04:41
@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