Skip to content

Conversation

javorszky
Copy link
Contributor

Proposed changes

Updates version in Makefile and readme per the release docs.

Checklist

Before creating a PR, run through this checklist and mark each as comdplete.

  • I have read the CONTRIBUTING guide
  • I have proven my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have ensured the README is up to date
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch on my own fork

@javorszky javorszky requested a review from a team as a code owner April 28, 2025 15:06
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Apr 28, 2025
@javorszky javorszky merged commit ced6fda into main Apr 28, 2025
15 checks passed
@javorszky javorszky deleted the gabor/update-version-to-142 branch April 28, 2025 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants