Skip to content

Set version to 1.12.0 #2739

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

Merged
merged 1 commit into from
Jun 6, 2025
Merged

Set version to 1.12.0 #2739

merged 1 commit into from
Jun 6, 2025

Conversation

mortenpi
Copy link
Member

@mortenpi mortenpi commented Jun 6, 2025

Pre-release

  • Change the version number in Project.toml
    • If the release is breaking, increment MAJOR
    • If the release adds a new user-visible feature, increment MINOR
    • Otherwise (bug-fixes, documentation improvements), increment PATCH
  • Update CHANGELOG.md, following the existing style (in particular, make sure that the change log for this version has the correct version number and date).
  • Run make changelog, to make sure that all the issue references in CHANGELOG.md are up to date.
  • Check that the commit messages in this PR do not contain [ci skip]
  • Check that the regression-tests workflow did not reveal any changes that broke extensions (this should run as part of the CI suite, but can also be triggered manually).

The release

  • After merging the pull request, tag the release. There are two options for this:

    1. Comment [at]JuliaRegistrator register on the GitHub commit.
    2. Use JuliaHub's package registration feature to trigger the registration.

    Either of those should automatically publish a new version to the Julia registry.

  • Once registered, the TagBot.yml workflow should create a tag, and rebuild the documentation for this tag.

  • These steps can take quite a bit of time (1 hour or more), so don't be surprised if the new documentation takes a while to appear.

@mortenpi mortenpi merged commit 022c013 into master Jun 6, 2025
35 of 36 checks passed
@mortenpi mortenpi deleted the mp/1.12.0 branch June 6, 2025 20:14
@mortenpi
Copy link
Member Author

mortenpi commented Jun 6, 2025

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

Successfully merging this pull request may close these issues.

1 participant