Skip to content

[stable32] fix(ci): skip unreleased stable branch as deploy target#14895

Merged
skjnldsv merged 1 commit into
stable32from
backport/14886/stable32
May 19, 2026
Merged

[stable32] fix(ci): skip unreleased stable branch as deploy target#14895
skjnldsv merged 1 commit into
stable32from
backport/14886/stable32

Conversation

@backportbot
Copy link
Copy Markdown

@backportbot backportbot Bot commented May 19, 2026

Backport of PR #14886

Mirror the is_version_released() check from build/build-index.php in
the sphinxbuild deploy job. Instead of taking the highest-numbered
stable branch from git refs, iterate descending and check for a
v{N}.0.0 GitHub release tag. First branch with a real release wins.

This prevents a pre-release branch (e.g. stable34 with RC1 only) from
being deployed to server/stable/ on gh-pages.

Signed-off-by: skjnldsv <skjnldsv@proton.me>
Signed-off-by: skjnldsv <skjnldsv@protonmail.com>
@backportbot backportbot Bot requested review from miaulalala and skjnldsv May 19, 2026 09:56
@backportbot backportbot Bot added bug 3. to review github_actions Pull requests that update GitHub Actions code labels May 19, 2026
@backportbot backportbot Bot added this to the Nextcloud 32.0.10 milestone May 19, 2026
@skjnldsv skjnldsv enabled auto-merge May 19, 2026 09:56
@github-actions
Copy link
Copy Markdown
Contributor

📖 Documentation Preview

🔍 Open preview →

No RST documentation pages changed in this PR.

Last updated: Tue, 19 May 2026 10:03:20 GMT

@skjnldsv skjnldsv merged commit abc0a97 into stable32 May 19, 2026
20 checks passed
@skjnldsv skjnldsv deleted the backport/14886/stable32 branch May 19, 2026 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review bug github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant