Skip to content

Merge release-1.23 into main#1861

Merged
aknuds1 merged 4 commits into
mainfrom
arve/merge-release
Aug 25, 2025
Merged

Merge release-1.23 into main#1861
aknuds1 merged 4 commits into
mainfrom
arve/merge-release

Conversation

@aknuds1

@aknuds1 aknuds1 commented Aug 25, 2025

Copy link
Copy Markdown
Contributor

I wonder if #1851 was perhaps squash merged into main, since release-1.23 is still not merged into main.

vesari and others added 3 commits July 15, 2025 16:14
* Cut v1.23.0-rc.0

---------

Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
Signed-off-by: Arianna Vespri <36129782+vesari@users.noreply.github.com>
Co-authored-by: Kemal Akkoyun <kakkoyun@users.noreply.github.com>
Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
Signed-off-by: Arianna Vespri <arianna.vespri@yahoo.it>
@aknuds1 aknuds1 requested a review from vesari August 25, 2025 09:13
@aknuds1 aknuds1 force-pushed the arve/merge-release branch 2 times, most recently from 10320d1 to aa61c90 Compare August 25, 2025 09:19
…lease

Signed-off-by: Arve Knudsen <arve.knudsen@gmail.com>
@aknuds1 aknuds1 force-pushed the arve/merge-release branch from aa61c90 to 14a55d2 Compare August 25, 2025 09:21
@aknuds1 aknuds1 merged commit 3692d7f into main Aug 25, 2025
8 checks passed
@aknuds1 aknuds1 deleted the arve/merge-release branch August 25, 2025 09:27
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.

3 participants