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

WT-13764 Bump WiredTiger version to 12.0.0 #11224

Merged
merged 1 commit into from
Nov 15, 2024

Conversation

lukech
Copy link
Contributor

@lukech lukech commented Nov 15, 2024

Changes made in this PR:

  • Bump the WiredTiger version to 12.0.0 right after cutting the 11.3.1 release.
  • Add coverage for version 12.0 in Python compatibility tests.

Copy link

github-actions bot commented Nov 15, 2024

Thanks for creating a pull request! Please answer the questions below by editing this comment.

Type of change made in this PR

  • Functional change
  • Test-only change
  • Refactor-only change
  • Other non-functional change

What makes this change safe?

Answering this question helps the reviewers understand where they should focus their attention. Please consider these prompts:

  • How risky is this change? Why?
    Low-risk as it would affect only the open-source release and corresponding documentation.
  • What tests are you adding, changing or relying on? Why?
    Python compatibility tests - they are part of PR testing.
  • What, if anything, are you concerned about that you'd like the reviewer to focus on?
    Nothing special.

References:

Checklist before requesting a review

  • I have performed a self-review of my code.
  • I have made corresponding changes to the documentation, or no documentation change is needed.
  • I have tests that show my change is correct, or have described above why functional test changes are not required.

@lukech lukech added this pull request to the merge queue Nov 15, 2024
Merged via the queue into develop with commit 03f1ff8 Nov 15, 2024
11 checks passed
@lukech lukech deleted the wt-13764-bump-version-12.0.0 branch November 15, 2024 02:13
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