Skip to content

Release#408

Merged
leoschwarz merged 4 commits intoreleasefrom
deploy-20251215-02
Dec 15, 2025
Merged

Release#408
leoschwarz merged 4 commits intoreleasefrom
deploy-20251215-02

Conversation

@leoschwarz
Copy link
Copy Markdown
Member

No description provided.

@leoschwarz leoschwarz changed the base branch from main to release December 15, 2025 11:17
@leoschwarz leoschwarz merged commit cf87ebf into release Dec 15, 2025
3 checks passed
@leoschwarz
Copy link
Copy Markdown
Member Author

Actually, this is a buggy relesae process.

Since I made the PR first to main, changing the target branch does not seem to trigger the pipelines again. This is sort of a hole in the CI which should be fixed.

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.

1 participant