Skip to content

ci: enable building the 7.1 version branch#720

Merged
DeepDiver1975 merged 1 commit into
masterfrom
changes_necessary_for_7.1
Jun 18, 2026
Merged

ci: enable building the 7.1 version branch#720
DeepDiver1975 merged 1 commit into
masterfrom
changes_necessary_for_7.1

Conversation

@DeepDiver1975

Copy link
Copy Markdown
Member

These are the changes necessary to finalize the creation of the 7.1 branch.

  • The 7.1 branch is already pushed and prepared (version: '7.1', prerelease flag removed,
    added to CI push triggers).

  • This PR wires master's CI to also build the 7.1 branch, so changes backported from
    master to 7.1 are built.

  • Note that this PR can be merged at any time but:

  • Post merging this, we need to backport all relevant changes created in master to 7.1.

Note: the process doc references .drone.star, but this repo now uses GitHub Actions —
the branch-build list lives in .github/workflows/ci.yml under on.push.branches.

🤖 Generated with Claude Code

Add the 7.1 branch to the CI push triggers so content changes
backported from master to 7.1 are built. The 7.1 release branch has
been created and configured separately.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Signed-off-by: Thomas Müller <1005065+DeepDiver1975@users.noreply.github.com>
@DeepDiver1975 DeepDiver1975 changed the title Changes necessary for 7.1 ci: enable building the 7.1 version branch Jun 18, 2026
@DeepDiver1975 DeepDiver1975 merged commit 5eb16fb into master Jun 18, 2026
2 of 3 checks passed
@DeepDiver1975 DeepDiver1975 deleted the changes_necessary_for_7.1 branch June 18, 2026 15:29
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