Skip to content

Publish deb13 apt packages#69

Merged
abinav2307 merged 2 commits intodocumentdb:mainfrom
guanzhousongmicrosoft:guanzhou/publish-deb13-apt-repo
Mar 24, 2026
Merged

Publish deb13 apt packages#69
abinav2307 merged 2 commits intodocumentdb:mainfrom
guanzhousongmicrosoft:guanzhou/publish-deb13-apt-repo

Conversation

@guanzhousongmicrosoft
Copy link
Copy Markdown
Contributor

Summary

  • publish deb13 assets into the generated APT repository during the Pages deployment
  • verify the generated package metadata includes deb13 when upstream release assets exist
  • expose Debian 13 in the package finder and package-install docs

Validation

  • bash -n .github/scripts/download_packages.sh
  • YAML parse for .github/workflows/continuous-deployment.yml
  • npm run lint && npm run build

Co-authored-by: Copilot 223556219+Copilot@users.noreply.github.com

guanzhousongmicrosoft and others added 2 commits March 24, 2026 13:52
Add deb13 support to the Pages package publishing flow so Debian 13 release assets are included in the generated APT repository metadata and exposed through the package finder and install docs.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Refine the package finder copy to state Debian 13 support more clearly and call out the Debian 11 PostgreSQL version limit without repeating the same phrasing.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@guanzhousongmicrosoft guanzhousongmicrosoft changed the title feat: publish deb13 apt packages Publish deb13 apt packages Mar 24, 2026
@abinav2307 abinav2307 merged commit 9eb79da into documentdb:main Mar 24, 2026
2 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.

2 participants