-
Notifications
You must be signed in to change notification settings - Fork 1
Create a New Release
Thái Sơn Hoàng edited this page Jun 27, 2022
·
3 revisions
An admin of this repository will follow the steps below to create a new release.
-
Check the pull request (e.g., it should be successfully built, build and test the bundles locally, etc.)
-
Feedback to the original requester if necessary
-
Accept and merge the pull request.
-
Build the bundles locally
-
Create a new release. Remember the convention for version number is vX.X.X-YYMM where X.X.X is the base Rodin version and YY and MM indicate the year and month of the builds.
- Copy the release notes of the previous bundles and updated the version number of the features accordingly.
- It is good to open the Rodin build locally to check the version number of the installed features.
-
Uploaded the local builds to the release
-
Update the Latest News section of the Wiki Home page
-
Update the information for the Releases Bundle, Baseline Bundle, and Target Bundle. This information should be consistent with the Release Note for the release.
(c) University of Southampton