Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump tag references from 14 to 15 #17096

Merged
merged 2 commits into from
Nov 12, 2024
Merged

Bump tag references from 14 to 15 #17096

merged 2 commits into from
Nov 12, 2024

Conversation

oliverguenther
Copy link
Member

Copy link
Member

@machisuji machisuji left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@machisuji machisuji merged commit 42438d4 into release/15.0 Nov 12, 2024
8 of 9 checks passed
@machisuji machisuji deleted the chore/bump-tags branch November 12, 2024 09:11
@machisuji
Copy link
Member

Merged despite one spec failing, but that was a flaky one. Besides, this PR only changed documentation and READMEs. Perhaps we should try to skip specs in those cases.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

3 participants