You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Manuel Lera Ramirez edited this page May 18, 2023
·
90 revisions
Now the release procedure is entirely ran on GitHub, through two actions, described in detail in the GitHub actions page.
In short, when you are ready to make a release, you must run two actions:
Refresh imports (should take around 40 mins)
This will create a PR with the updated imports.
Wait for the CI to pass on the PR.
Merge into master and wait for the CI to pass on master.
Do not proceed if this action fails.
Run release
This will create a draft request.
If the second action works, it will create a new release draft where the name of the release is the date of today in yyyy-mm-dd format. You can find it at the top of the releases page, which can be accessed from the repository website as shown below:
The release draft will have a draft tag as shown below. Click on the edit button (pencil as shown below), review that everything looks ok, and publish the release.